@misc{indiciaed816d81265e7,
  title = {PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude},
  author = {Kyungmin Bae and Joshua Krisiloff and José Meseguer and Peter Csaba Ölveczky},
  year = {2013},
  doi = {10.4204/eptcs.105.2},
  url = {https://arxiv.org/abs/1301.0038},
  note = {Source identifier: 1301.0038}
}