Modeling distributed real-time systems with MAST 2

Michael González Harbour, J. Javier Gutiérrez, José M. Drake, Patricia López Martínez, J. Carlos Palencia. Modeling distributed real-time systems with MAST 2. Journal of Systems Architecture, 59(6):331-340, 2013. [doi]

Abstract

Abstract is missing.