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. In Marc Aiguier, Francis Bretaudeau, Daniel Krob, editors, Complex Systems Design & Management - Proceedings of the First International Conference on Complex System Design & Management, CSDM 2010, Paris, France, October 27-29, 2010. pages 61-72, Springer, 2010. [doi]
Abstract is missing.