{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:40:18Z","timestamp":1737488418233,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411963"},{"type":"electronic","value":"9783540409113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40911-4_11","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:23:29Z","timestamp":1192785809000},"page":"176-193","source":"Crossref","is-referenced-by-count":1,"title":["Specification and Analysis of Automata-Based Designs"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Bryans","sequence":"first","affiliation":[]},{"given":"Lynne","family":"Blair","sequence":"additional","affiliation":[]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Rajeev Alur, Costas Courcoubetis, and David Dill. Model checking in dense real-time. Information and Computation, 104(1):2\u201334, May 1993.","journal-title":"Information and Computation"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Rajeev Alur and David Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s004460050046","volume":"11","author":"Christel Baier and Marta Kwiatkowska","year":"1998","unstructured":"Christel Baier and Marta Kwiatkowska. Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11:125\u2013155, May 1998.","journal-title":"Distributed Computing"},{"key":"11_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-64358-3_31","volume-title":"On the composition of hybred systems","author":"S. Bornot","year":"1998","unstructured":"S\u00e9bastien Bornot and Joseph Sifakis. On the composition of hybred systems. In International Workshop on Hybred Systems: Computation and Control, volume LNCS 1386, pages 49\u201363, April 1998."},{"key":"11_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Modeling urgency in timed systems","author":"S. Bornot","year":"1998","unstructured":"S\u00e9bastien Bornot, Joseph Sifakis, and Stavros Tripakis. Modeling urgency in timed systems. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, International Symposium: Compositionality-The significant difference, volume 1536 of LNCS. Springer-Verlag, 1998."},{"key":"11_CR6","unstructured":"Howard Bowman, Jeremy Bryans, and John Derrick. A model checking algorithm for stochastic systems. Technical Report 4-00, University of Kent at Canterbury, 2000."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Jeremy Bryans and John Derrick. Stochastic specification and verification. In Proceedings of Third Irish Workshop in Formal Methods, 1999.","DOI":"10.14236\/ewic\/IWFM1999.3"},{"key":"11_CR8","unstructured":"Edmund Clarke, Orna Grumberg, and Doron Peled. Model Checking. MIT Press, 1999."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Pedro R. D\u2019Argenio, Joost-Pieter Katoen, and Ed Brinksma. An algebraic approach to the specification of stochastic systems (extended abstract). In D. Gries and W.-P. de Roever, editors, Proceedings of the Working Conference on Programming Concepts and Methods. Chapman & Hall, 1","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"11_CR10","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985."},{"key":"11_CR11","unstructured":"Trevor Jones and Lynne Blair. A Tool-Suite for Simulating, Composing and Editing Timed Automata (LUSCETA: Users Manual Release 1.0). Technical Report MPG-99-24, Computing Department, Lancaster University, 1999."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Marta Kwiatkowska, Gethin Norman, Roberto Segala, and Jeremy Sprouston. Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs. In CONCUR\u201900, 2000. Also available as a University of Birmingham technical report: CSR-00-06.","DOI":"10.1007\/3-540-44618-4_11"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40911-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:13:07Z","timestamp":1737486787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40911-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411963","9783540409113"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-40911-4_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}