A. Boronat & P. C. Ölveczky (2010):
Formal Real-Time Model Transformations in MOMENT2.
In: David S. Rosenblum & Gabriele Taentzer: Proc. of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE'10),
Lecture Notes in Computer Science 6013.
Springer,
pp. 29–43.
Available at http://dx.doi.org/10.1007/978-3-642-12029-9.
G. C. Buttazzo (2004):
Hard Real-Time Computing Systems.
Kluwer Academic Publishers.
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart\'ı-Oliet, J. Meseguer & C. Talcott (2007):
All About Maude - A High-Performance Logical Framework.
Lecture Notes in Computer Science 4350.
Springer.
K. Czarnecki & S. Helsen (2003):
Classification of Model Transformation Approaches.
In: OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture.
J. de Lara & H. Vangheluwe (2004):
Defining Visual Notations and Their Manipulation Through Meta-Modelling and Graph Transformation.
Journal of Visual Languages and Computing 15(3–4),
pp. 309–330.
Available at http://dx.doi.org/10.1016/j.jvlc.2004.01.005.
P. C. Ölveczky & M. Caccamo (2006):
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.
In: Luciano Baresi & Reiko Heckel: Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings,
Lecture Notes in Computer Science 3922.
Springer,
pp. 357–372.
Available at http://dx.doi.org/10.1007/11693017_26.
P. C. Ölveczky & J. Meseguer (2008):
The Real-Time Maude Tool.
In: C. R. Ramakrishnan & Jakob Rehof: Proc. TACAS'08,
Lecture Notes in Computer Science 4963.
Springer,
pp. 332–336.
Available at http://dx.doi.org/10.1007/978-3-540-78800-3_23.
J. E. Rivera (2010):
On the Semantics of Real-Time Domain Specific Modeling Languages.
Universidad de Málaga.
J. E. Rivera, F. Durán & A. Vallecillo (2009):
A graphical approach for modeling time-dependent behavior of DSLs.
In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings.
IEEE,
pp. 51–55.
Available at http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295300.
J. E. Rivera, F. Durán & A. Vallecillo (2010):
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.
In: Proc. WRLA'10,
Lecture Notes in Computer Science 6381.
Springer.
See also the e-Motions web page http://atenea.lcc.uma.es/E-motions.
J. E. Rivera, E. Guerra, J. de Lara & A. Vallecillo (2008):
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.
In: Dragan Gasevic, Ralf Lämmel & Eric Van Wyk: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers,
Lecture Notes in Computer Science 5452.
Springer,
pp. 54–73.
Available at http://dx.doi.org/10.1007/978-3-642-00434-6_5.
J. E. Rivera, A. Vallecillo & F. Durán (2009):
Formal Specification and Analysis of Domain Specific Languages using Maude.
Simulation: Transactions of the Society for Modeling and Simulation International 85(11/12),
pp. 778–792.
Available at http://dx.doi.org/10.1177/0037549709341635.
SAE AADL Team (2009):
AADL Homepage.
http://www.aadl.info/.
J. Troya, J. E. Rivera & A. Vallecillo (2010):
Simulating Domain Specific Visual Models by Observation.
In: Robert M. McGraw, Eric S. Imsand & Michael J. Chinni: Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, 2010.
SCS/ACM,
pp. 46–53.
Available at http://doi.acm.org/10.1145/1878537.1878671.