Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies

Francisco Dur´an and Vlad Rusu (Eds.):Second International Workshop on Algebraic Methodsin Model-Based Software Engineering 2011 (AMMSE’11)EPTCS 56, 2011, pp. 49–63, doi:10.4204/EPTCS.56.4c F. Duran, P. C.´ Olveczky, and J. E. Rivera¨This work is licensed under theCreative Commons Attribution License.