{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:12Z","timestamp":1725490512095},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_4","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T23:22:33Z","timestamp":1188775353000},"page":"53-60","source":"Crossref","is-referenced-by-count":1,"title":["SDL Time Extensions from a Semantic Point of View"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Prinz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"4_CR1","unstructured":"Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201336, Oxford University Press, 1995"},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-61377-3_43","volume-title":"The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions","author":"Y. Gurevich","year":"1996","unstructured":"Y. Gurevich and J. Huggins: The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. In Proc. of CSL\u201995, volume 1092 of LNCS, pages 266\u2013290, 1996"},{"key":"4_CR3","unstructured":"SDL Formal Semantics Project. ITU-T Study Group 10: SDL Semantics Group. URL: http:\/\/rn.informatik.uni-kl.de\/projects\/sdl\/"},{"key":"4_CR4","unstructured":"Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ralf M\u00fcnzenberger, Frank Slomka, Matthias D\u00f6rfel, Richard Hofmann: A General Approach for the Specification of Real-Time Systems with SDL, Proceedings of SDL-Forum 2001, Springer, 2001.","DOI":"10.1007\/3-540-48213-X_13"},{"key":"4_CR6","unstructured":"Susanne Graf, Laurent Mounier, et. al.: Timed extensions for SDL; Temporary document ITU, SG10, January 2002."},{"key":"4_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III","author":"N. Lynch","year":"1996","unstructured":"N. Lynch, R. Segala, F. Vaandrager, H. B. Weinberg: Hybrid I\/O Automata. In Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag: Hybrid Systems III. LNCS 1066, Springer-Verlag, Berlin, 1996."},{"key":"4_CR8","unstructured":"R. Alur, D. Dill: A Theory of Timed Automata, Proceedings of the 17th International Colloquium on Automata, Languages, and Programming, 1990."}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T19:38:29Z","timestamp":1556825909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}