@book{207739,
	author = {Larrieu, Nicolas, and Varet, Antoine,},
	title = {Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification /},
	publisher = {ISTE, Ltd ;},
	year = {2014.},
	series = {Focus Series,},
	address = {London :},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781119050643}
}