A. Al-Nayeem, L. Sha, D. D. Cofer & S. M. Miller (2012):
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems.
In: Proc. ICCPS'12.
IEEE,
pp. 65–74,
doi:10.1109/ICCPS.2012.15.
J.D. Anderson (2005):
Introduction to flight.
McGraw-Hill.
K. Bae, J. Krisiloff, J. Meseguer & P. C. Ölveczky (2012):
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude (Extended Version).
Manuscript available at http://formal.cs.illinois.edu/kbae/airplane/.
K. Bae, J. Meseguer & P. C. Ölveczky (2012):
Formal Patterns for Multi-Rate Distributed Real-Time Systems.
In: Proc. FACS'12,
LNCS.
Springer.
To appear.
K. Bae, P. C. Ölveczky, A. Al-Nayeem & J. Meseguer (2011):
Synchronous AADL and its Formal Analysis+.2777em in Real-Time Maude.
In: Proc. ICFEM'11,
LNCS 6991.
Springer,
pp. 651–667,
doi:10.1007/978-3-642-24559-6_43.
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer & C. Talcott (2007):
All About Maude – A High-Performance Logical Framework.
LNCS 4350.
Springer,
doi:10.1007/978-3-540-71999-1.
R. P. G. Collinson (1996):
Introduction to avionics.
Chapman & Hall.
D. Lepri, E. Ábrahám & P.C. Olveczky (2012):
Timed CTL Model Checking in Real-Time Maude.
In: Proc. WRLA'12,
LNCS 7571.
Springer,
pp. 182–200,
doi:10.1007/978-3-642-34005-5_10.
J. Meseguer & P. C. Ölveczky (2010):
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems.
In: Proc. ICFEM'10,
LNCS 6447.
Springer,
pp. 303–320,
doi:10.1007/978-3-642-16901-4_21.
J. Meseguer & P. C. Ölveczky (2012):
Formalization and correctness of the PALS architectural pattern for distributed real-time systems.
Theor. Comp. Sci. 451,
pp. 1–37,
doi:10.1016/j.tcs.2012.05.040.
S. P. Miller, D. D. Cofer, L. Sha, J. Meseguer & A. Al-Nayeem (2009):
Implementing Logical Synchrony in Integrated Modular Avionics.
In: Proc. DASC'09.
IEEE,
doi:10.1109/DASC.2009.5347579.
P. C. Ölveczky & J. Meseguer (2007):
Semantics and Pragmatics of Real-Time Maude.
Higher-Order and Symbolic Computation 20(1-2),
pp. 161–196,
doi:10.1007/s10990-007-9001-5.
W. Steiner & J. Rushby (2011):
TTA and PALS: Formally verified design patterns for distributed cyber-physical systems.
In: Proc. DASC'11.
IEEE,
doi:10.1109/DASC.2011.6096120.
eptcs@eptcs.org