@inproceedings(DBLP:conf/fm/Broadfoot05,
 author       = "Guy H. Broadfoot",
 year         = "2005",
 title        = "ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software",
 editor       = "Fitzgerald",
 pages        = "548--551",
 doi          = "10.1007/11526841\_39",
)
@inproceedings(Bruneliere:2010:MGE:1858996.1859032,
 author       = "Hugo Bruneliere and Jordi Cabot and Fr{\'e}d{\'e}ric Jouault and Fr{\'e}d{\'e}ric Madiot",
 year         = "2010",
 title        = "MoDisco: A Generic and Extensible Framework for Model Driven Reverse Engineering",
 booktitle    = "Proceedings of the IEEE/ACM International Conference on Automated Software Engineering",
 series       = "ASE '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "173--174",
 doi          = "10.1145/1858996.1859032",
)
@misc(VerumSite,
 author       = "Verum Software Technologies B.V.",
 title        = "Homepage Verum",
 url          = "http://www.verum.com/",
)
@inproceedings(DBLP:conf/fm/CampbellGNSTV05,
 author       = "Colin Campbell and Wolfgang Grieskamp and Lev Nachmanson and Wolfram Schulte and Nikolai Tillmann and Margus Veanes",
 year         = "2005",
 title        = "Testing Concurrent Object-Oriented Systems with Spec Explorer",
 editor       = "Fitzgerald",
 pages        = "542--547",
 doi          = "10.1007/11526841\_38",
)
@inproceedings(6207775,
 author       = "R. Doornbos and J. Hooman and B. van Vlimmeren",
 year         = "2012",
 title        = "Complementary verification of embedded software using ASD and Uppaal",
 booktitle    = "Innovations in Information Technology (IIT), 2012 International Conference on",
 pages        = "60--65",
 doi          = "10.1109/INNOVATIONS.2012.6207775",
)
@proceedings(DBLP:conf/fm/2005,
 editor       = "John A. Fitzgerald and Ian J. Hayes and Andrzej Tarlecki",
 year         = "2005",
 title        = "FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "3582",
 publisher    = "Springer",
)
@misc(AcceleoSite,
 author       = "The Eclipse Foundation",
 title        = "Acceleo - transforming models into code",
 url          = "http://www.eclipse.org/acceleo/",
)
@misc(EMFSite,
 author       = "The Eclipse Foundation",
 title        = "Eclipse Modeling Framework Project (EMF)",
 url          = "http://www.eclipse.org/modeling/emf/",
)
@misc(MoDiscoSite,
 author       = "The Eclipse Foundation",
 title        = "MoDisco Homepage",
 url          = "http://www.eclipse.org/MoDisco/",
)
@misc(QVTOSite,
 author       = "The Eclipse Foundation",
 title        = "QVTo",
 url          = "http://wiki.eclipse.org/QVTo",
)
@article(DBLP:journals/entcs/HopcroftB05,
 author       = "Philippa J. Hopcroft and Guy H. Broadfoot",
 year         = "2005",
 title        = "Combining the Box Structure Development Method and CSP for Software Development",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "128",
 number       = "6",
 pages        = "127--144",
 doi          = "10.1016/j.entcs.2005.04.008",
)
@manual(QVT-specification,
 author       = "OMG",
 year         = "2005",
 title        = "MOF QVT Final Adopted Specification",
 organization = "Object Modeling Group",
 url          = "http://fparreiras/papers/mof_qvt_final.pdf",
)
@book(Steinberg:2009:EEM:1197540,
 author       = "David Steinberg and Frank Budinsky and Marcelo Paternostro and Ed Merks",
 year         = "2009",
 title        = "EMF: Eclipse Modeling Framework 2.0",
 edition      = "2nd",
 publisher    = "Addison-Wesley Professional",
)
@misc(SpecExplorerSite,
 author       = "Spec Explorer Team",
 title        = "Spec Explorer 2010 Visual Studio Power Tool",
 url          = "http://visualstudiogallery.msdn.microsoft.com/271d0904-f178-4ce9-956b-d9bfa4902745/",
)
@inproceedings(DBLP:conf/sigsoft/VeanesCST05,
 author       = "Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann",
 year         = "2005",
 title        = "Online testing with model programs",
 editor       = "Michel Wermelinger and Harald Gall",
 booktitle    = "ESEC/SIGSOFT FSE",
 publisher    = "ACM",
 pages        = "273--282",
 doi          = "10.1145/1081706.1081751",
)
@inproceedings(DBLP:conf/issre/VishalKKM12,
 author       = "Vivek Vishal and Mehmet Kovacioglu and Rachid Kherazi and Mohammad Reza Mousavi",
 year         = "2012",
 title        = "Integrating Model-Based and Constraint-Based Testing Using SpecExplorer",
 booktitle    = "ISSRE Workshops",
 publisher    = "IEEE",
 pages        = "219--224",
 doi          = "10.1109/ISSREW.2012.88",
 url          = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6403648",
)