@article(Alur94, author = "Rajeev Alur and David L. Dill", year = "1994", title = "A theory of timed automata", journal = "Theor. Comput. Sci.", volume = "126", number = "2", pages = "183--235", doi = "10.1016/0304-3975(94)90010-8", ) @article(AFH99, author = "Rajeev Alur and Limor Fix and Thomas A. Henzinger", year = "1999", title = "Event-Clock Automata: A Determinizable Class of Timed Automata", journal = "Theor. Comput. Sci.", volume = "211", number = "1-2", pages = "253--273", doi = "10.1016/S0304-3975(97)00173-4", ) @incollection(Bauer12, author = "Sebastian Bauer and Uli Fahrenberg and Axel Legay and Claus Thrane", year = "2012", title = "General Quantitative Specification Theories with Modalities", booktitle = "Computer Science -- Theory and Applications", series = "LNCS~7353", publisher = "Springer", pages = "18--30", doi = "10.1007/978-3-642-30642-6_3", ) @article(Bertrand2012, author = "Nathalie Bertrand and Axel Legay and Sophie Pinchinat and Jean-Baptiste Raclet", year = "2012", title = "Modal event-clock specifications for timed component-based design", journal = "Science of Computer Programming", volume = "77", number = "12", pages = "1212--1234", doi = "10.1016/j.scico.2011.01.007", ) @article(Caillaud2011, author = "Beno\^{i}t Caillaud and Beno\^{i}t Delahaye and Kim G. Larsen and Axel Legay and Mikkel L. Pedersen and Andrzej W\k {a}sowski", year = "2011", title = "Constraint {M}arkov Chains", journal = "Theoretical Computer Science", volume = "412", number = "34", pages = "4373--4404", doi = "10.1016/j.tcs.2011.05.010", ) @inproceedings(ChenCJK12, author = "Taolue Chen and Chris Chilton and Bengt Jonsson and Marta Z. Kwiatkowska", year = "2012", title = "A Compositional Specification Theory for Component Behaviours", booktitle = "ESOP'12", series = "LNCS~7211", publisher = "Springer", pages = "148--168", doi = "10.1007/978-3-642-28869-2_8", ) @inproceedings(CHK08, author = "Taolue Chen and Tingting Han and Joost-Pieter Katoen", year = "2008", title = "Time-Abstracting Bisimulation for Probabilistic Timed Automata", booktitle = "TASE'08", publisher = "IEEE Computer Society", pages = "177--184", doi = "10.1109/TASE.2008.29", ) @inproceedings(CJK12, author = "Chris Chilton and Bengt Jonsson and Marta Kwiatkowska", year = "2012", title = "Assume-Guarantee Reasoning for Safe Component Behaviours", booktitle = "FACS'12", series = "LNCS~7684", publisher = "Springer", pages = "92--109", doi = "10.1007/978-3-642-35861-6_6", ) @inproceedings(ChiltonKW12, author = "Chris Chilton and Marta Z. Kwiatkowska and Xu Wang", year = "2012", title = "Revisiting Timed Specification Theories: A Linear-Time Perspective", booktitle = "FORMATS'12", series = "LNCS~7595", publisher = "Springer", pages = "75--90", doi = "10.1007/978-3-642-33365-1_7", ) @inproceedings(David2010, author = "Alexandre David and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski", year = "2010", title = "Timed {I/O} automata: a complete specification theory for real-time systems", booktitle = "HSCC'10", publisher = "ACM", pages = "91--100", doi = "10.1145/1755952.1755967", ) @inproceedings(DKLLPSW11, author = "Beno\^{\i }t Delahaye and Joost-Pieter Katoen and Kim G. Larsen and Axel Legay and Mikkel L. Pedersen and Falak Sher and Andrzej Wasowski", year = "2011", title = "Abstract Probabilistic Automata", booktitle = "VMCAI'11", series = "LNCS~6538", publisher = "Springer", pages = "324--339", doi = "10.1007/978-3-642-18275-4_23", ) @inproceedings(FL12, author = "Uli Fahrenberg and Axel Legay", year = "2012", title = "A Robust Specification Theory for Modal Event-Clock Automata", booktitle = "FIT", series = "EPTCS~87", pages = "5--16", doi = "10.4204/EPTCS.87.2", ) @techreport(HKKG13, author = "Tingting Han and Christian Krause and Marta Kwiatkowska and Holger Giese", year = "2013", title = "Modal Specifications for Probabilistic Timed Systems", type = "Technical Report", number = "CS-RR-13-03", institution = "University of Oxford, Department of Computer Science", ) @article(KNSS02, author = "M. Kwiatkowska and G. Norman and R. Segala and J. Sproston", year = "2002", title = "Automatic verification of real-time systems with discrete probability distributions", journal = "Theoretical Computer Science", volume = "282", pages = "101--150", doi = "10.1016/S0304-3975(01)00046-9", ) @inproceedings(LarsenNW07, author = "Kim Guldstrand Larsen and Ulrik Nyman and Andrzej Wasowski", year = "2007", title = "On Modal Refinement and Consistency", booktitle = "CONCUR'07", series = "LNCS~4703", publisher = "Springer", pages = "105--119", doi = "10.1007/978-3-540-74407-8_8", ) @inproceedings(LarsenT88, author = "Kim Guldstrand Larsen and Bent Thomsen", year = "1988", title = "A Modal Process Logic", booktitle = "LICS'88", publisher = "IEEE Computer Society", pages = "203--210", doi = "10.1109/LICS.1988.5119", ) @phdthesis(Seg95, author = "Roberto Segala", year = "1995", title = "Modeling and Verification of Randomized Distributed Real-Time Systems", school = "Massachusetts Institute of Technology", ) @inproceedings(SK12, author = "Falak Sher and Joost-Pieter Katoen", year = "2012", title = "Compositional Abstraction Techniques for Probabilistic Automata", booktitle = "IFIP TCS", series = "LNCS~7604", publisher = "Springer", pages = "325--341", doi = "10.1007/978-3-642-33475-7_23", ) @inproceedings(Sproston09, author = "Jeremy Sproston", year = "2009", title = "Strict Divergence for Probabilistic Timed Automata", booktitle = "CONCUR'09", series = "LNCS~5710", publisher = "Springer", pages = "620--636", doi = "10.1007/978-3-642-04081-8_41", ) @inproceedings(SV99, author = "M. Stoelinga and F. Vaandrager", year = "1999", title = "Root Contention in {IEEE} 1394", booktitle = "ARTS'99", series = "LNCS~1601", publisher = "Springer", pages = "53--74", doi = "10.1007/3-540-48778-6_4", )