{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:44:59Z","timestamp":1761943499015,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055359","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T07:28:45Z","timestamp":1153985325000},"page":"307-310","source":"Crossref","is-referenced-by-count":16,"title":["Discrete-time Promela and Spin"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Bo\u0161na\u010dki","sequence":"first","affiliation":[]},{"given":"Dennis","family":"Dams","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L., A Theory of Timed Automata, Theoretical Computer Science, 126, pp. 183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Kurshan, R.P., Timing Analysis in Cospan, Hybrid Systems III, LNCS 1066, pp.220\u2013231, Springer, 1996.","DOI":"10.1007\/BFb0020948"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Bo\u0161na\u010dki, D., Towards Modelling of Hybrid Systems in Promela and Spin, Third International Workshop on Formal Methods in Industrial Critical Systems FMICS\u201998, 1998","DOI":"10.1007\/BFb0055359"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Dams, D., Gerth, R., Bounded Retransmission Protocol Revisited, Second International Workshop on Verification of Infinite Systems, Infinity\u201997, 1997","DOI":"10.1016\/S1571-0661(05)80425-6"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio, P. R., Katoen, J.-P., Ruys, T., Tretmans, J., The Bounded Retransmission Protocol Must Be on Time!, TACAS\u201997, 1997","DOI":"10.1007\/BFb0035403"},{"key":"29_CR6","unstructured":"Dill, D., Timing Assumptions and Verification of Finite-State Concurrent Systems, CAV\u201989, LNCS 407, Springer, 1989"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Groote, J. F., van de Pol, J., A Bounded Retransmission Protocol for Large Data Packets, in Wirsing, M., Nivat, M., ed., Algebraic Methodology and Software Technology, LCNS 1101, pp. 536\u2013550, Springer-Verlag, 1996","DOI":"10.1007\/BFb0014338"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., Kopke, P. W., Discrete-Time Control for Rectangular Automata, Proceedings of the 24th International Colloquium on Automata, Languages and Programming (ICALP 1997), LNCS 1256, pp. 582\u2013593, Springer-Verlag, 1997","DOI":"10.1007\/3-540-63165-8_213"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., Manna, Z., Pnueli, A., What good are digital clocks?, Proceedings of the ICALP\u201992, LNCS 623, pp.545\u2013558, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_103"},{"key":"29_CR10","unstructured":"Holzmann, G. J., Design and Validation of Communication Protocols, Prentice Hall, 1991. Also: http:\/\/netlib.bell-labs.com\/netlib\/spin\/whatispin.html"},{"key":"29_CR11","unstructured":"Kars, P., Formal Methods in the Design of Storm Surge Barrier Control System, Hand-outs of School on Embedded Systems, Veldhoven, The Netherlands, 1996"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Klusener, A. S., Models and Axioms for a Fragment of Real Time Process Algebra, Ph. D. Thesis, Eindhoven University of Technology, 1993","DOI":"10.1007\/BFb0031999"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, K. G., Pettersson, P., Yi, W., UPPAAL: Status & Developments, Computer Aided Verification CAV 97, LNCS 1254, pp.456\u2013459, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-63166-6_47"},{"key":"29_CR14","unstructured":"Tanenbaum, A., Computer Networks, Prentice Hall, 1989"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Courcoubetis, C., Extending Promela and Spin for Real Time, TACAS \u201996, LCNS 1055, Springer Verlag, 1996","DOI":"10.1007\/3-540-61042-1_53"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:08:18Z","timestamp":1736478498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055359"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0055359","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}