@inproceedings{resmerita2012verification,
  title={Verification of embedded control systems by simulation and program execution control},
  author={Resmerita, Stefan and Pree, Wolfgang},
  booktitle={2012 American Control Conference (ACC)},
  pages={3581--3586},
  year={2012},
  organization={IEEE}
}