Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines | Publicación