Gilles Lasnier, Laurent Pautet, Jérôme Hugues. A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011. pages 67-74, IEEE Computer Society, 2011. [doi]
Abstract is missing.