Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies | Publicación