@book{5331,
	author = {Larrieu, Nicolas and Varet, Antoine},
	title = {Rapid prototyping of software for avionics systems :},
	publisher = {ISTE,},
	year = {c 2014.},
	address = {London :},
	url = {https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119050643?download=true}
}