@article(AAOW15,
 author       = {S. Akshay and Timos Antonopoulos and Jo{\"{e}}l Ouaknine and James Worrell},
 year         = {2015},
 title        = {Reachability problems for {M}arkov chains},
 journal      = {Inf. Process. Lett.},
 volume       = {115},
 number       = {2},
 pages        = {155--158},
 doi          = {10.1016/j.ipl.2014.08.013},
)
@article(BKHW05,
 author       = {Christel Baier and Joost{-}Pieter Katoen and Holger Hermanns and Verena Wolf},
 year         = {2005},
 title        = {Comparative branching-time semantics for {M}arkov chains},
 journal      = {Inf. Comput.},
 volume       = {200},
 number       = {2},
 pages        = {149--214},
 doi          = {10.1016/j.ic.2005.03.001},
)
@book(billingsley1995,
 author       = {Patrick Billingsley},
 year         = {1995},
 title        = {Probability And Measure},
 edition      = {3rd},
 publisher    = {Wiley-Interscience},
)
@inproceedings(cassez2012,
 author       = {Franck Cassez and Ren{\'{e}} Rydhof Hansen and Mads Chr. Olesen},
 year         = {2012},
 title        = {What is a Timing Anomaly?},
 editor       = {Tullio Vardanega},
 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},
 doi          = {10.4230/OASIcs.WCET.2012.1},
)
@inproceedings(CLM89,
 author       = {Edmund M. Clarke and David E. Long and Kenneth L. McMillan},
 year         = {1989},
 title        = {Compositional Model Checking},
 booktitle    = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
 publisher    = {{IEEE} Computer Society},
 pages        = {353--362},
 doi          = {10.1109/LICS.1989.39190},
)
@inproceedings(corradini1995,
 author       = {Flavio Corradini and Roberto Gorrieri and Marco Roccetti},
 year         = {1995},
 title        = {Performance Preorder: Ordering Processes with Respect to Speed},
 editor       = {Jir{\'{\i}} Wiedermann and Petr H{\'{a}}jek},
 booktitle    = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {969},
 publisher    = {Springer},
 pages        = {444--453},
 doi          = {10.1007/3-540-60246-1_150},
)
@inproceedings(geilen2011,
 author       = {Marc Geilen and Stavros Tripakis and Maarten Wiggers},
 year         = {2011},
 title        = {The earlier the better: a theory of timed actor interfaces},
 editor       = {Marco Caccamo and Emilio Frazzoli and Radu Grosu},
 booktitle    = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14, 2011},
 publisher    = {{ACM}},
 pages        = {23--32},
 doi          = {10.1145/1967701.1967707},
)
@inproceedings(gotz1993,
 author       = {Norbert G{\"{o}}tz and Ulrich Herzog and Michael Rettelbach},
 year         = {1993},
 title        = {Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras},
 editor       = {Lorenzo Donatiello and Randolph D. Nelson},
 booktitle    = {Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93, Santa Clara, CA, USA, May 10-14, 1993},
 series       = {Lecture Notes in Computer Science},
 volume       = {729},
 publisher    = {Springer},
 pages        = {121--146},
 doi          = {10.1007/BFb0013851},
)
@article(graham1969,
 author       = {Ronald L. Graham},
 year         = {1969},
 title        = {Bounds on Multiprocessing Timing Anomalies},
 journal      = {{SIAM} Journal of Applied Mathematics},
 volume       = {17},
 number       = {2},
 pages        = {416--429},
 doi          = {10.1137/0117039},
)
@article(hermanns1998,
 author       = {Holger Hermanns and Ulrich Herzog and Vassilis Mertsiotakis},
 year         = {1998},
 title        = {Stochastic Process Algebras - Between {LOTOS} and {M}arkov Chains},
 journal      = {Computer Networks},
 volume       = {30},
 number       = {9-10},
 pages        = {901--924},
 doi          = {10.1016/S0169-7552(97)00133-5},
)
@book(hillston2005,
 author       = {Jane Hillston},
 year         = {1996},
 title        = {A compositional approach to performance modelling},
 series       = {Distinguished Dissertations in Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511569951},
)
@inproceedings(kirner2009,
 author       = {Raimund Kirner and Albrecht Kadlec and Peter P. Puschner},
 year         = {2009},
 title        = {Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies},
 booktitle    = {21st Euromicro Conference on Real-Time Systems, {ECRTS} 2009, Dublin, Ireland, July 1-3, 2009},
 publisher    = {{IEEE} Computer Society},
 pages        = {119--128},
 doi          = {10.1109/ECRTS.2009.8},
)
@inproceedings(lee2008,
 author       = {Edward A. Lee},
 year         = {2008},
 title        = {Cyber Physical Systems: Design Challenges},
 booktitle    = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
 publisher    = {{IEEE} Computer Society},
 pages        = {363--369},
 doi          = {10.1109/ISORC.2008.25},
)
@inproceedings(lundqvist1999,
 author       = {Thomas Lundqvist and Per Stenstr{\"{o}}m},
 year         = {1999},
 title        = {Timing Anomalies in Dynamically Scheduled Microprocessors},
 booktitle    = {Proceedings of the 20th {IEEE} Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999},
 publisher    = {{IEEE} Computer Society},
 pages        = {12--21},
 doi          = {10.1109/REAL.1999.818824},
)
@inproceedings(LV01,
 author       = {Gerald L{\"{u}}ttgen and Walter Vogler},
 year         = {2001},
 title        = {A Faster-than Relation for Asynchronous Processes},
 editor       = {Kim Guldstrand Larsen and Mogens Nielsen},
 booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2154},
 publisher    = {Springer},
 pages        = {262--276},
 doi          = {10.1007/3-540-44685-0_18},
)
@article(luttgen2006,
 author       = {Gerald L{\"{u}}ttgen and Walter Vogler},
 year         = {2006},
 title        = {Bisimulation on speed: {A} unified approach},
 journal      = {Theor. Comput. Sci.},
 volume       = {360},
 number       = {1-3},
 pages        = {209--227},
 doi          = {10.1016/j.tcs.2006.03.004},
)
@article(SSR15,
 author       = {Sneana Maovi and Saa Stoi and Rade Hajdin},
 year         = {2015},
 title        = {Application of Semi-{M}arkov Decision Process in Bridge Management},
 journal      = {IABSE Symposium Report},
 volume       = {105},
 number       = {28},
 pages        = {1--8},
 doi          = {10.2749/222137815818358204},
)
@inproceedings(MT91,
 author       = {Faron Moller and Chris M. N. Tofts},
 year         = {1991},
 title        = {Relating Processes With Respect to Speed},
 editor       = {Jos C. M. Baeten and Jan Friso Groote},
 booktitle    = {{CONCUR} '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {527},
 publisher    = {Springer},
 pages        = {424--438},
 doi          = {10.1007/3-540-54430-5_104},
)
@inproceedings(neuhausser2007,
 author       = {Neuh{\"{a}}u{\ss}er, Martin R. and Joost{-}Pieter Katoen},
 year         = {2007},
 title        = {Bisimulation and Logical Preservation for Continuous-Time {M}arkov Decision Processes},
 editor       = {Lu{\'{\i}}s Caires and Vasco Thudichum Vasconcelos},
 booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference, {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4703},
 publisher    = {Springer},
 pages        = {412--427},
 doi          = {10.1007/978-3-540-74407-8_28},
)
@inproceedings(OW14,
 author       = {Jo{\"{e}}l Ouaknine and James Worrell},
 year         = {2014},
 title        = {Positivity Problems for Low-Order Linear Recurrence Sequences},
 editor       = {Chandra Chekuri},
 booktitle    = {Proceedings of the Twenty-Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2014, Portland, Oregon, USA, January 5-7, 2014},
 publisher    = {{SIAM}},
 pages        = {366--379},
 doi          = {10.1137/1.9781611973402.27},
)
@inproceedings(PFBLM18,
 author       = {Mathias Ruggaard Pedersen and Nathana{\"{e}}l Fijalkow and Giorgio Bacci and Kim G. Larsen and Radu Mardare},
 year         = {2018},
 title        = {Timed Comparisons of Semi-{M}arkov Processes},
 editor       = {Shmuel Tomi Klein and Mart{\'{\i}}n{-}Vide, Carlos and Dana Shapira},
 booktitle    = {Language and Automata Theory and Applications - 12th International Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10792},
 publisher    = {Springer},
 pages        = {271--283},
 doi          = {10.1007/978-3-319-77313-1_21},
)
@phdthesis(pulungan2009,
 author       = {Muhammad Reza Pulungan},
 year         = {2009},
 title        = {Reduction of Acyclic Phase-Type Representations},
 school       = {Faculty of Natural Sciences and Technology, Saarland University},
 doi          = {10.22028/D291-25951},
)
@inproceedings(reineke2006,
 author       = {Jan Reineke and Bj{\"{o}}rn Wachter and Stephan Thesing and Reinhard Wilhelm and Ilia Polian and Jochen Eisinger and Bernd Becker},
 year         = {2006},
 title        = {A Definition and Classification of Timing Anomalies},
 booktitle    = {{WCET}},
 series       = {{OASICS}},
 volume       = {4},
 publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 doi          = {10.4230/OASIcs.WCET.2006.671},
)
@inproceedings(satoh1994,
 author       = {Ichiro Satoh and Mario Tokoro},
 year         = {1994},
 title        = {A Formalism for Remotely Interacting Processes},
 editor       = {Takayasu Ito and Akinori Yonezawa},
 booktitle    = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {907},
 publisher    = {Springer},
 pages        = {216--228},
 doi          = {10.1007/BFb0026571},
)
@inproceedings(SV04,
 author       = {Ana Sokolova and Erik P. de Vink},
 year         = {2004},
 title        = {Probabilistic Automata: System Types, Parallel Composition and Comparison},
 editor       = {Christel Baier and Boudewijn R. Haverkort and Holger Hermanns and Joost{-}Pieter Katoen and Markus Siegle},
 booktitle    = {Validation of Stochastic Systems - {A} Guide to Current Research},
 series       = {Lecture Notes in Computer Science},
 volume       = {2925},
 publisher    = {Springer},
 pages        = {1--43},
 doi          = {10.1007/978-3-540-24611-4_1},
)
@book(tao2013,
 author       = {Terence Tao},
 year         = {2013},
 title        = {An Introduction to Measure Theory},
 series       = {Graduate studies in mathematics},
 publisher    = {American Mathematical Society},
)
@inproceedings(TS16,
 author       = {O. S. Thomas and J. O. Sobanjo},
 year         = {2016},
 title        = {Semi-{M}arkov Decision Process: A Decision Tool for Transportation Infrastructure Management Systems},
 booktitle    = {International Conference on Transportation and Development},
 pages        = {384--396},
 doi          = {10.1061/9780784479926.036},
)
@article(vogler1995b,
 author       = {Walter Vogler},
 year         = {1995},
 title        = {Timed Testing of Concurrent Systems},
 journal      = {Inf. Comput.},
 volume       = {121},
 number       = {2},
 pages        = {149--171},
 doi          = {10.1006/inco.1995.1130},
)
@article(vogler1995a,
 author       = {Walter Vogler},
 year         = {2003},
 title        = {Faster asynchronous systems},
 journal      = {Inf. Comput.},
 volume       = {184},
 number       = {2},
 pages        = {311--342},
 doi          = {10.1016/S0890-5401(03)00065-8},
)