@article {113804,
	title = {Surgical Robots: Behaviors Specification and Reasoning},
	journal = {International Journal of Computer Science Issues},
	volume = {13},
	year = {2016},
	pages = {In Press},
	author = {Ammar Mohammed and Luzie Schreiter}
}
