TY  - RPRT
TI  - Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
AU  - Francisco Durán
AU  - Peter Csaba Ölveczky
AU  - José E. Rivera
PY  - 2011
DO  - 10.4204/eptcs.56.4
UR  - https://arxiv.org/abs/1107.0066
ID  - 1107.0066
ER  -