@conference {3612,
	title = {Formal Verification of ROS-based Robotic Applications using Timed-Automata},
	booktitle = {FME Workshop on Formal Methods In Software Engineering},
	year = {2017},
	month = {27 May 2017},
	publisher = {ACM and IEEE Digital Libraries},
	organization = {ACM and IEEE Digital Libraries},
	address = {Buenos Aires, Argentina},
	attachments = {https://haslab.uminho.pt/sites/default/files/joseproenca/files/ros-formalise17.pdf},
	author = {Raju Halder and Jos{\'e} Proen{\c c}a and Nuno Macedo and Andr{\'e} Santos}
}