1. 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.
  2. J.D. Anderson (2005): Introduction to flight. McGraw-Hill.
  3. 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
  4. 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.
  5. 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.
  6. 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.
  7. R. P. G. Collinson (1996): Introduction to avionics. Chapman & Hall.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.

Comments and questions to:
For website issues: