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

Francisco Durán, Peter Csaba Ölveczky, José E. Rivera

e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulati…