@article(wcet-corr-11,
 author       = {Jean{-}Luc B{\'{e}}chennec and Franck Cassez},
 year         = {2011},
 title        = {Computation of {WCET} using Program Slicing and Real-Time Model-Checking},
 journal      = {CoRR},
 volume       = {abs/1105.1633},
 url          = {http://arxiv.org/abs/1105.1633},
)
@inproceedings(uppaal-40-qest-behrmann-06,
 author       = {Gerd Behrmann and Alexandre David and Kim Guldstrand Larsen and H{\r a}kansson, John and Paul Pettersson and Wang Yi and Martijn Hendriks},
 year         = {2006},
 title        = {UPPAAL 4.0},
 booktitle    = {QEST},
 publisher    = {IEEE Computer Society},
 pages        = {125--126},
 url          = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.59},
)
@inproceedings(cassez-acsd-11,
 author       = {Franck Cassez},
 year         = {2011},
 title        = {Timed Games for Computing {WCET} for Pipelined Processors with Caches},
 booktitle    = {11th International Conference on Application of Concurrency to System Design, {ACSD} 2011},
 publisher    = {{IEEE} Computer Society},
 pages        = {195--204},
 url          = {http://dx.doi.org/10.1109/ACSD.2011.15},
)
@inproceedings(cassez-acsd-13,
 author       = {Franck Cassez and B\IeC{\'e}chennec, {Jean-Luc}},
 year         = {2013},
 title        = {Timing Analysis of Binary Programs with {UPPAAL}},
 booktitle    = {13th International Conference on Application of Concurrency to System Design, ACSD 2013},
 publisher    = {IEEE Computer Society},
 pages        = {41--50},
 url          = {http://dx.doi.org/10.1109/ACSD.2013.7},
)
@inproceedings(wcet-12,
 author       = {Franck Cassez and Ren\IeC{\'e} Rydhof Hansen and Mads Chr. Olesen},
 year         = {2012},
 title        = {What is a Timing Anomaly?},
 booktitle    = {12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy},
 series       = {OASICS},
 volume       = {23},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {1--12},
 url          = {http://dx.doi.org/10.4230/OASIcs.WCET.2012.1},
)
@inproceedings(metamoc-2010,
 author       = {Andreas E. Dalsgaard and Mads Chr. Olesen and Martin Toft and Ren{\'e} Rydhof Hansen and Kim Guldstrand Larsen},
 year         = {2010},
 title        = {METAMOC: Modular Execution Time Analysis using Model Checking},
 editor       = {Bj{\"o}rn Lisper},
 booktitle    = {WCET},
 series       = {OASICS},
 volume       = {15},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
 pages        = {113--123},
 url          = {http://dx.doi.org/10.4230/OASIcs.WCET.2010.113},
)
@mastersthesis(metamoc-2009,
 author       = {Andreas Engelbredt Dalsgaard and Mads Christian Olesen and Martin Toft},
 year         = {2009},
 title        = {Modular Execution Time Analysis using Model Checking},
 school       = {Dpt. of Computer Science, Aalborg University, Denmark},
)
@inproceedings(HeizmannHP-sas-09,
 author       = {Matthias Heizmann and Jochen Hoenicke and Andreas Podelski},
 year         = {2009},
 title        = {Refinement of Trace Abstraction},
 editor       = {Jens Palsberg and Zhendong Su},
 booktitle    = {SAS},
 series       = {Lecture Notes in Computer Science},
 volume       = {5673},
 publisher    = {Springer},
 pages        = {69--85},
 url          = {http://dx.doi.org/10.1007/978-3-642-03237-0_7},
)
@inproceedings(HeizmannHP-cav-13,
 author       = {Matthias Heizmann and Jochen Hoenicke and Andreas Podelski},
 year         = {2013},
 title        = {Software Model Checking for People Who Love Automata},
 editor       = {Natasha Sharygina and Helmut Veith},
 booktitle    = {CAV},
 series       = {Lecture Notes in Computer Science},
 volume       = {8044},
 publisher    = {Springer},
 pages        = {36--52},
 url          = {http://dx.doi.org/10.1007/978-3-642-39799-8_2},
)
@misc(bench-malar,
 author       = {{M\"alardalen WCET Research Group}},
 title        = {{WCET Project -- Benchmarks.}},
 note         = {\url{http://www.mrtc.mdh.se/projects/wcet/benchmarks.html}},
)
@article(wcet-survey-2008,
 author       = {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David B. Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter P. Puschner and Jan Staschulat and Per Stenstr{\"o}m},
 year         = {2008},
 title        = {{The Worst-Case Execution-Time Problem - Overview of Methods and Survey of Tools}},
 journal      = {ACM Trans. Embedded Comput. Syst.},
 volume       = {7},
 number       = {3},
 url          = {http://doi.acm.org/10.1145/1347375.1347389},
)