"Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude."

Peter Csaba Ölveczky, Artur Boronat, José Meseguer (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics