@book{206289,
	author = {Gnesi, Stefania,},
	title = {Formal methods for industrial critical systems : a survey of applications /},
	publisher = {IEEE Computer Society ;},
	year = {[2013]},
	address = {[Washington, DC] :},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781118459898}
}