Halder R, Proença J, Macedo N, Santos A.? 2017.??Formal Verification of ROS-based Robotic Applications using Timed-Automata. FME Workshop on Formal Methods In Software Engineering.