@article(AM96,
 author       = {L. Aceto and D. Murphy},
 year         = {1996},
 title        = {Timing and Causality in Process Algebra},
 journal      = {Acta Informatica},
 volume       = {33},
 pages        = {317--350},
 doi          = {10.1007/s002360050047},
)
@article(AD94,
 author       = {R. Alur and D.L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@article(Ber15,
 author       = {M. Bernardo},
 year         = {2015},
 title        = {On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time {M}arkovian Process Calculi},
 journal      = {Theoretical Computer Science},
 volume       = {563},
 pages        = {99--143},
 doi          = {10.1016/j.tcs.2014.10.025},
)
@article(DH13,
 author       = {Y. Deng and M. Hennessy},
 year         = {2013},
 title        = {On the Semantics of {M}arkov Automata},
 journal      = {Information and Computation},
 volume       = {222},
 pages        = {139--168},
 doi          = {10.1016/j.ic.2012.10.010},
)
@inproceedings(EHZ10,
 author       = {C. Eisentraut and H. Hermanns and L. Zhang},
 year         = {2010},
 title        = {On Probabilistic Automata in Continuous Time},
 booktitle    = {Proc.\ of the 25th IEEE Symp.\ on Logic in Computer Science (LICS~2010)},
 publisher    = {IEEE-CS Press},
 pages        = {342--351},
 doi          = {10.1109/LICS.2010.41},
 note         = {Full version available at \url{www.avacs.org/Publikationen/Open/avacs\_technical\_report\_062.pdf}},
)
@inproceedings(GHHKT13,
 author       = {D. Guck and H. Hatefi and H. Hermanns and J.-P. Katoen and M. Timmer},
 year         = {2013},
 title        = {Modelling, Reduction and Analysis of {M}arkov Automata},
 booktitle    = {Proc.\ of the 10th Int.\ Conf.\ on the Quantitative Evaluation of Systems (QEST~2013)},
 series       = {LNCS},
 volume       = {8054},
 publisher    = {Springer},
 pages        = {55--71},
 doi          = {10.1007/978-3-642-40196-1\_5},
)
@book(Her02,
 author       = {H. Hermanns},
 year         = {2002},
 title        = {Interactive Markov Chains},
 publisher    = {Springer},
 doi          = {10.1007/3-540-45804-2},
 note         = {Volume 2428 of LNCS},
)
@article(LMT10,
 author       = {R. Lanotte and Maggiolo-Schettini, A. and A. Troina},
 year         = {2010},
 title        = {Weak Bisimulation for Probabilistic Timed Automata},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 pages        = {4291--4322},
 doi          = {10.1016/j.tcs.2010.09.003},
)
@article(MDBD12,
 author       = {J. Markovski and P.R. D'Argenio and J.C.M. Baeten and {E.P. de} Vink},
 year         = {2012},
 title        = {Reconciling Real and Stochastic Time: The Need for Probabilistic Refinement},
 journal      = {Formal Aspects of Computing},
 volume       = {24},
 pages        = {497--518},
 doi          = {10.1007/s00165-012-0230-y},
)
@inproceedings(MT90,
 author       = {F. Moller and C. Tofts},
 year         = {1990},
 title        = {A Temporal Calculus of Communicating Systems},
 booktitle    = {Proc.\ of the 1st Int.\ Conf.\ on Concurrency Theory (CONCUR~1990)},
 series       = {LNCS},
 volume       = {458},
 publisher    = {Springer},
 pages        = {401--415},
 doi          = {10.1007/BFb0039073},
)
@inproceedings(MT92,
 author       = {F. Moller and C. Tofts},
 year         = {1992},
 title        = {Behavioural Abstraction in {TCCS}},
 booktitle    = {Proc.\ of the 19th Int.\ Coll.\ on Automata, Languages and Programming (ICALP~1992)},
 series       = {LNCS},
 volume       = {623},
 publisher    = {Springer},
 pages        = {559--570},
 doi          = {10.1007/3-540-55719-9\_104},
)
@article(SS14,
 author       = {J. Schuster and M. Siegle},
 year         = {2014},
 title        = {{M}arkov Automata: Deciding Weak Bisimulation by Means of Non-Na\"{\i}vely Vanishing States},
 journal      = {Information and Computation},
 volume       = {237},
 pages        = {151--173},
 doi          = {10.1016/j.ic.2014.02.001},
)
@book(Seg95a,
 author       = {R. Segala},
 year         = {1995},
 title        = {Modeling and Verification of Randomized Distributed Real-Time Systems},
 publisher    = {PhD Thesis},
)
@inproceedings(TPS13,
 author       = {M. Timmer and {J. van de} Pol and M. Stoelinga},
 year         = {2013},
 title        = {Confluence Reduction for {M}arkov Automata},
 booktitle    = {Proc.\ of the 11th Int.\ Conf.\ on Formal Modeling and Analysis of Timed Systems (FORMATS~2013)},
 series       = {LNCS},
 volume       = {8053},
 publisher    = {Springer},
 pages        = {243--257},
 doi          = {10.1007/978-3-642-40229-6\_17},
)
@inproceedings(Yi91,
 author       = {Wang Yi},
 year         = {1991},
 title        = {{CCS} + Time = An Interleaving Model for Real Time Systems},
 booktitle    = {Proc.\ of the 18th Int.\ Coll.\ on Automata, Languages and Programming (ICALP~1991)},
 series       = {LNCS},
 volume       = {510},
 publisher    = {Springer},
 pages        = {217--228},
 doi          = {10.1007/3-540-54233-7\_136},
)