PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude - Kyungmin Bae; Joshua Krisiloff; José Meseguer 001; Peter Csaba Ölveczky (FTSCS, 2012)

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. - Kyungmin Bae; Joshua Krisiloff; José Meseguer 001; Peter Csaba Ölveczky (Sci. Comput. Program., 2015)