TY  - RPRT
TI  - PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
AU  - Kyungmin Bae
AU  - Joshua Krisiloff
AU  - José Meseguer
AU  - Peter Csaba Ölveczky
PY  - 2013
DO  - 10.4204/eptcs.105.2
UR  - https://arxiv.org/abs/1301.0038
ID  - 1301.0038
ER  -