Marc Aiguier, Francis Bretaudeau, Daniel Krob (Eds.):
Complex Systems Design & Management - Proceedings of the First International Conference on Complex System Design & Management, CSDM 2010, Paris, France, October 27-29, 2010.
Springer 2010, ISBN 978-3-642-15653-3
Jean-Frédéric Étienne, S. Fechter, E. Juppeaux: Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.
61-72