@article(alur94,
 author       = {R. Alur and D. L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@inproceedings(uppaalWebsiteRef,
 author       = {J. Bengtsson and K. G. Larsen and F. Larsson and P. Pettersson and W. Yi},
 year         = {1995},
 title        = {\textsc{uppaal}\xspace--- a Tool Suite for Automatic Verification of Real--Time Systems},
 booktitle    = {Proceedings of Workshop on Verification and Control of Hybrid Systems III},
 series       = {Lecture Notes in Computer Science},
 volume       = {1066},
 publisher    = {Springer--Verlag},
 pages        = {232--243},
 doi          = {10.1007/BFb0020949},
)
@inproceedings(bernat,
 author       = {G. Bernat and A. Burns and A. Wellings},
 year         = {2000},
 title        = {Portable Worst-Case Execution Time Analysis Using Java Byte Code},
 booktitle    = {12th Euromicro Conference on Real-Time Systems, 2000. Euromicro RTS 2000.},
 publisher    = {IEEE},
 pages        = {81--88},
 doi          = {10.1109/EMRTS.2000.853995},
)
@inproceedings(bucaioni3952,
 author       = {A. Bucaioni},
 year         = {2015},
 title        = {Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering},
 booktitle    = {Software Technologies: Applications and Foundations},
 doi          = {10.13140/RG.2.1.5120.0883},
)
@article(Ciortea2010,
 author       = {L. Ciortea and C. Zamfir and S. Bucur and V. Chipounov and G. Candea},
 year         = {2010},
 title        = {Cloud9: A Software Testing Service},
 journal      = {ACM SIGOPS Operating Systems Review},
 volume       = {43},
 number       = {4},
 pages        = {5--10},
 doi          = {10.1145/1713254.1713257},
)
@inproceedings(corbett2000,
 author       = {J. C. Corbett and M. B. Dwyer and J. Hatcliff and S. Laubach and C. S. Pasareanu and Robby and H. Zheng},
 year         = {2000},
 title        = {Bandera: Extracting Finite-State Models from Java Source Code},
 booktitle    = {Proceedings of the 2000 International Conference on Software Engineering},
 publisher    = {IEEE},
 pages        = {439--448},
 doi          = {10.1145/337180.337234},
)
@inproceedings(tetaJ,
 author       = {C. Frost and C.S. Jensen and K. S. Luckow and B. Thomsen},
 year         = {2011},
 title        = {WCET Analysis of Java Bytecode Featuring Common Execution Environments},
 booktitle    = {Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems},
 publisher    = {ACM},
 pages        = {30--39},
 doi          = {10.1145/2043910.2043916},
)
@article(wekaWebsiteRef,
 author       = {M. Hall and E. Frank and G. Holmes and B. Pfahringer and P. Reutemann and I. H. Witten},
 year         = {2009},
 title        = {The WEKA Data Mining Software: An Update},
 journal      = {SIGKDD Explorations Newsletter},
 volume       = {11},
 number       = {1},
 pages        = {10--18},
 doi          = {10.1145/1656274.1656278},
)
@inproceedings(hu2003deriving,
 author       = {E. Y. Hu and A. J. Wellings and G. Bernat},
 year         = {2003},
 title        = {Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis},
 booktitle    = {Workshops On The Move to Meaningful Internet Systems},
 publisher    = {Springer},
 pages        = {411--424},
 doi          = {10.1007/978-3-540-39962-9_48},
)
@article(lambert2008platform,
 author       = {J. M. Lambert and J. F. Power},
 year         = {2008},
 title        = {Platform Independent Timing of Java Virtual Machine Bytecode Instructions},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {220},
 number       = {3},
 pages        = {97--113},
 doi          = {10.1016/j.entcs.2008.11.021},
)
@misc(liveGraphWebsiteRef,
 author       = {LiveGraph},
 year         = {2016},
 title        = {LiveGraph website},
 url          = {http://live-graph.sourceforge.net},
)
@inproceedings(lokuciejewski2009,
 author       = {P. Lokuciejewski and D. Cordes and H. Falk and P. Marwedel},
 year         = {2009},
 title        = {A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models},
 booktitle    = {Proceedings of the 7th Annual IEEE/ACM International Symposium on Code Generation and Optimization},
 publisher    = {IEEE Computer Society},
 pages        = {136--146},
 doi          = {10.1109/CGO.2009.17},
)
@article(dominatorAnalysisReference,
 author       = {E. S. Lowry and C. W. Medlock},
 year         = {1969},
 title        = {Object Code Optimization},
 journal      = {Communications of the ACM},
 volume       = {12},
 number       = {1},
 pages        = {13--22},
 doi          = {10.1145/362835.362838},
)
@inproceedings(tetaSARTS,
 author       = {Kasper S{\o}e Luckow and B{\o}gholm, Thomas and Bent Thomsen and Kim Guldstrand Larsen},
 year         = {2013},
 title        = {TetaSARTS: A Tool for Modular Timing Analysis of Safety Critical Java Systems},
 booktitle    = {Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems},
 series       = {JTRES '13},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {11--20},
 doi          = {10.1145/2512989.2512992},
)
@misc(paderbornRef,
 author       = {UPPAAL Metamodel},
 year         = {2016},
 title        = {Software Engineering Group website, University of Paderborn},
 url          = {https://www.hni.uni-paderborn.de/en/software-engineering},
)
@inproceedings(epsilonWebsite,
 author       = {R. F. Paige and D. S. Kolovos and L. M. Rose and N. Drivalos and F. A. C. Polack},
 year         = {2009},
 title        = {The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering},
 booktitle    = {Proceedings of the 2009 14th IEEE Int. Conference on Engineering of Complex Computer Systems},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {162--171},
 doi          = {10.1109/ICECCS.2009.14},
)
@article(puschner2000guest,
 author       = {P. Puschner and A. Burns},
 year         = {2000},
 title        = {Guest Editorial: A Review of Worst-Case Execution-Time Analysis},
 journal      = {Real-Time Systems},
 volume       = {18},
 number       = {2},
 pages        = {115--128},
 doi          = {10.1023/A:1008119029962},
)
@book(rech2011,
 author       = {J. Rech},
 year         = {2011},
 title        = {Emerging Technologies for the Evolution and Maintenance of Software Models},
 publisher    = {IGI Global},
)
@inbook(grooveWebsiteRef,
 author       = {A. Rensink},
 year         = {2004},
 title        = {The GROOVE Simulator: A Tool for State Space Generation},
 pages        = {479--485},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-25959-6_40},
)
@misc(ourRepository,
 author       = {Repository},
 year         = {2015},
 title        = {The repository of the Model-Derivation Framework},
 url          = {https://bitbucket.org/bmyildiz/model-derivation-framework.git},
)
@inproceedings(sargent2011,
 author       = {R. G. Sargent},
 year         = {2011},
 title        = {Verification and Validation of Simulation Models},
 booktitle    = {Proceedings of the 2011 Winter Simulation Conference (WSC)},
 doi          = {10.1109/WSC.2011.6147750},
)
@misc(tips,
 author       = {TIPS},
 year         = {2016},
 title        = {Project website},
 url          = {http://fmt.cs.utwente.nl/research/projects/aselsan/},
)
@book(utting2010practical,
 author       = {M. Utting and B. Legeard},
 year         = {2010},
 title        = {Practical Model-based Testing: A Tools Approach},
 publisher    = {Morgan Kaufmann},
)
@techreport(eemcs26622,
 author       = {B. M. Yildiz and A. Rensink and C. M. Bockisch and M. Aksit},
 year         = {2015},
 title        = {A Model-Derivation Framework for Timing Analysis of Java Software Systems},
 type         = {Technical Report},
 number       = {TR-CTIT-15-08},
 institution  = {Centre for Telematics and Information Technology, University of Twente},
 url          = {http://eprints.eemcs.utwente.nl/26622/},
)