Mobile service robot state revealing through expressive lights: Formalism, design and evaluation K. Baraka, M. Veloso Int. J. Social Robotics, 10 (1):65-92, 2018