author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Igor Melatti and  Alberto Tofani and  Enrico Tronci},
	title = {Automatic Generation Of Optimal Controllers Through Model Checking Techniques}, 
	doi = {10.1007/978-3-540-79142-3_10},
	series = {Lecture Notes in Electrical Engineering (Informatics in Control Automation and Robotics)},
	booktitle = {Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics},
	editor = {Springer-Verlag},

	pages = {107--122},
	volume = {15},