{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:03:48Z","timestamp":1742385828560},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660101"},{"type":"electronic","value":"9783540487784"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48778-6_20","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T06:18:07Z","timestamp":1178000287000},"page":"334-353","source":"Crossref","is-referenced-by-count":11,"title":["Modelling Timeouts without Timelocks"],"prefix":"10.1007","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, pages 183\u2013235, 1994.","key":"20_CR1","DOI":"10.1016\/0304-3975(94)90010-8"},{"doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, and Paul Pettersson amd Wang Yi. Uppaal-a tool suite for automatic verification of real-time system. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.","key":"20_CR2","DOI":"10.1007\/BFb0020949"},{"key":"20_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-64358-3_31","volume-title":"Hybrid Systems: Computation and Control","author":"S. Bornot","year":"1998","unstructured":"S. Bornot and J. Sifakis. On the composition of hybrid systems. In Hybrid Systems: Computation and Control, LNCS 1386, pages 49\u201363, 1998."},{"key":"20_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Compositionality, COMPOS\u201997","author":"S. Bornot","year":"1997","unstructured":"S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Compositionality, COMPOS\u201997, LNCS (to appear), 1997."},{"unstructured":"H. Bowman. Discussion document-modelling timeout behaviour in timed automata. Technical report, Available from author, 1998.","key":"20_CR5"},{"doi-asserted-by":"crossref","unstructured":"H. Bowman, G. Faconti, J-P. Katoen, D. Latella, and M. Massink. Automatic verification of a lip synchronisation algorithm using UPPAAL. In Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems, 1998. To Appear in Special Issue of Formal Aspects of Computing.","key":"20_CR6","DOI":"10.1007\/s001650050032"},{"key":"20_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0032342","volume-title":"Hybrid Systems III, Verification and Control","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, LNCS 1066. Springer-Verlag, 1996."},{"doi-asserted-by":"crossref","unstructured":"Th. A. Henzinger and Pei Hsin. HyTech: The Cornell HYbrid TECHnology tool. In Proceedings of TACAS, Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995.","key":"20_CR8","DOI":"10.1007\/3-540-60472-3_14"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0169-7552(96)00078-5","volume":"29","author":"L. Leonard","year":"1996","unstructured":"L. Leonard and G. Leduc. An introduction to ET-LOTOS for the description of time-sens itive systems. Computer Networks and ISDN Systems, 29:271\u2013292, 1996.","journal-title":"Computer Networks and ISDN Systems"},{"unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989.","key":"20_CR10"},{"key":"20_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/BFb0032007","volume-title":"Real-time Theory in Practice","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebra. In Real-time Theory in Practice, LNCS 600, pages 549\u2013572. Springer-Verlag, June 1991."},{"unstructured":"T. Regan. Multimedia in temporal LOTOS: A lip synchronisation algorithm. In PSTV XIII, 13th Protocol Specification, Testing and Verification. North-Holland, 1993.","key":"20_CR12"},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","first-page":"347","volume-title":"STACS\u201996, Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science","author":"J. Sifakis","year":"1996","unstructured":"J. Sifakis and S. Yiovine. Compositional specification of timed systems, (extended abstract). In STACS\u201996, Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, LNCS 1046, pages 347\u2013359. Springer-Verlag, 1996."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Real-Time and Probabilistic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48778-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T12:34:53Z","timestamp":1556368493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48778-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660101","9783540487784"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48778-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}