@inproceedings(fase10,
 author       = "A. Boronat and P. C. \"Olveczky",
 year         = "2010",
 title        = "Formal Real-Time Model Transformations in {MOMENT2}",
 editor       = "David S. Rosenblum and Gabriele Taentzer",
 booktitle    = "Proc. of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE'10)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6013",
 publisher    = "Springer",
 pages        = "29--43",
 url          = "http://dx.doi.org/10.1007/978-3-642-12029-9",
)
@book(buttazzo,
 author       = "G. C. Buttazzo",
 year         = "2004",
 title        = "Hard Real-Time Computing Systems",
 publisher    = "Kluwer Academic Publishers",
)
@book(maude-book,
 author       = "M. Clavel and F. Dur\'an and S. Eker and P. Lincoln and N. Mart\'\i -Oliet and J. Meseguer and C. Talcott",
 year         = "2007",
 title        = "All About {Maude} - A High-Performance Logical Framework",
 series       = "Lecture Notes in Computer Science",
 volume       = "4350",
 publisher    = "Springer",
)
@inproceedings(Czarnecki-Helsen:2003,
 author       = "K. Czarnecki and S. Helsen",
 year         = "2003",
 title        = "Classification of Model Transformation Approaches",
 booktitle    = "OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture",
)
@article(deLara:2006,
 author       = "J. de Lara and H. Vangheluwe",
 year         = "2004",
 title        = "Defining Visual Notations and Their Manipulation Through Meta-Modelling and Graph Transformation",
 journal      = "Journal of Visual Languages and Computing",
 volume       = "15",
 number       = "3--4",
 pages        = "309--330",
 url          = "http://dx.doi.org/10.1016/j.jvlc.2004.01.005",
)
@inproceedings(fase06,
 author       = "P. C. {\"O}lveczky and M. Caccamo",
 year         = "2006",
 title        = "Formal Simulation and Analysis of the {CASH} Scheduling Algorithm in {R}eal-{T}ime {M}aude",
 editor       = "Luciano Baresi and Reiko Heckel",
 booktitle    = "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",
 series       = "Lecture Notes in Computer Science",
 volume       = "3922",
 publisher    = "Springer",
 pages        = "357--372",
 url          = "http://dx.doi.org/10.1007/11693017_26",
)
@inproceedings(tacas08,
 author       = "P. C. {\"O}lveczky and J. Meseguer",
 year         = "2008",
 title        = "The {R}eal-{T}ime {M}aude Tool",
 editor       = "C. R. Ramakrishnan and Jakob Rehof",
 booktitle    = "Proc.\ TACAS'08",
 series       = "Lecture Notes in Computer Science",
 volume       = "4963",
 publisher    = "Springer",
 pages        = "332--336",
 url          = "http://dx.doi.org/10.1007/978-3-540-78800-3_23",
)
@phdthesis(rivera-thesis,
 author       = "J. E. Rivera",
 year         = "2010",
 title        = "On the Semantics of Real-Time Domain Specific Modeling Languages",
 school       = "Universidad de M\'alaga",
)
@inproceedings(Rivera-Duran-Vallecillo:2009,
 author       = "J. E. Rivera and F. Dur\'an and A. Vallecillo",
 year         = "2009",
 title        = "A graphical approach for modeling time-dependent behavior of {DSL}s",
 booktitle    = "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings",
 publisher    = "IEEE",
 pages        = "51--55",
 url          = "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295300",
)
@inproceedings(emotions,
 author       = "J. E. Rivera and F. Dur{\'a}n and A. Vallecillo",
 year         = "2010",
 title        = "On the Behavioral Semantics of Real-Time Domain Specific Visual Languages",
 booktitle    = "Proc.\ WRLA'10",
 series       = "Lecture Notes in Computer Science",
 volume       = "6381",
 publisher    = "Springer",
 note         = "See also the e-Motions web page \url {http://atenea.lcc.uma.es/E-motions}",
)
@inproceedings(Rivera-Guerra-deLara-Vallecillo:2008,
 author       = "J. E. Rivera and E. Guerra and J. de Lara and A. Vallecillo",
 year         = "2008",
 title        = "Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with {M}aude",
 editor       = "Dragan Gasevic and Ralf L{\"a}mmel and Eric Van Wyk",
 booktitle    = "Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers",
 series       = "Lecture Notes in Computer Science",
 volume       = "5452",
 publisher    = "Springer",
 pages        = "54--73",
 url          = "http://dx.doi.org/10.1007/978-3-642-00434-6_5",
)
@article(Rivera-Duran-Vallecillo:2009-simulation,
 author       = "J. E. Rivera and A. Vallecillo and F. Dur\'an",
 year         = "2009",
 title        = "Formal Specification and Analysis of Domain Specific Languages using {M}aude",
 journal      = "Simulation: Transactions of the Society for Modeling and Simulation International",
 volume       = "85",
 number       = "11/12",
 pages        = "778--792",
 url          = "http://dx.doi.org/10.1177/0037549709341635",
)
@misc(aadl,
 author       = "{SAE AADL Team}",
 year         = "2009",
 title        = "{AADL} Homepage",
 note         = "\url {http://www.aadl.info/}",
)
@inproceedings(Troya-Rivera-Vallecillo:2010,
 author       = "J. Troya and J. E. Rivera and A. Vallecillo",
 year         = "2010",
 title        = "Simulating Domain Specific Visual Models by Observation",
 editor       = "Robert M. McGraw and Eric S. Imsand and Michael J. Chinni",
 booktitle    = "Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, 2010",
 publisher    = "SCS/ACM",
 pages        = "46--53",
 url          = "http://doi.acm.org/10.1145/1878537.1878671",
)