@misc{indiciae2e5037ff49cc,
  title = {Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies},
  author = {Francisco Durán and Peter Csaba Ölveczky and José E. Rivera},
  year = {2011},
  doi = {10.4204/eptcs.56.4},
  url = {https://arxiv.org/abs/1107.0066},
  note = {Source identifier: 1107.0066}
}