@Inproceedings{EPTCS56.4,
  author    = {Dur\'an, Francisco and \"Olveczky, Peter Csaba and Rivera, Jos\'e E.},
  year      = {2011},
  title     = {Formal Visual Modeling of Real-Time Systems in e-Motions: Two  Case Studies},
  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     = {49-63},
  doi       = {10.4204/EPTCS.56.4},
}