@Inproceedings{EPTCS56.1,
  author    = {\"Olveczky, Peter Csaba},
  year      = {2011},
  title     = {Formal Model Engineering for Embedded Systems Using Real-Time Maude},
  editor    = {Dur\'an, Francisco and Rusu, Vlad},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Algebraic Methods in Model-based Software Engineering,
               {\rm Zurich, Switzerland, 30th June 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {56},
  publisher = {Open Publishing Association},
  pages     = {3-13},
  doi       = {10.4204/EPTCS.56.1},
}