Formal methods for robotic system control software

@article{DBLP:journals/jhuapltechdigest/KouskoulasPK13,
	pdf = {http://techdigest.jhuapl.edu/TD/td3202/32_02-Kouskoulas.pdf},
	author = {['Yanni Kouskoulas', 'André Platzer', 'Peter Kazanzides']},
	title = {Formal Methods for Robotic System Control
               Software},
	journal = {Johns Hopkins APL Technical Digest},
	volume = {32},
	number = {2},
	year = {2013},
	pages = {490-498},
	eprint = {http://techdigest.jhuapl.edu/TD/td3202/32_02-Kouskoulas.pdf}
}