@book{5091,
	author = {Gnesi, Stefania and Margaria, Tiziana},
	title = {Formal Methods for Industrial Critical Systems :},
	publisher = {John Wiley & Sons,},
	year = {c 2013.},
	address = {Hoboken, New Jersey :},
	url = {https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118459898?download=true}
}