Rapid prototyping of software for avionics systems model-oriented approaches for complex systems certification - Larrieu, Nicolas (ISTE, Ltd, 2014)
Includes bibliographical references and index