Héctor Pérez, J. Javier Gutiérrez, Esteban Asensio, Juan Zamorano, Juan Antonio de la Puente. Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model. In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011. pages 209-216, IEEE, 2011. [doi]
Abstract is missing.