@book{21876,
	author = {Gnesi, Stefania,},
	title = {Formal methods for industrial critical systems :},
	publisher = {IEEE Computer Society ;},
	year = {[2013]},
	address = {[Washington, DC] :},
	url = {http://dx.doi.org/10.1002/9781118459898}
}