{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:51:08Z","timestamp":1725519068501},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_28","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"332-345","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Implementation of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Sacha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"OMG, Unified Modeling Language: Superstructure, version 2.0, August (2005)"},{"key":"28_CR2","first-page":"1201","volume-title":"Handbook of Theoretical Computer Science","author":"R. Milner","year":"1990","unstructured":"Milner, R.: Operational and algebraic semantics of concurrent processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 1201\u20131242. Elsevier, Amsterdam (1990)"},{"key":"28_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems. Springer, Berlin (1995)"},{"key":"28_CR4","first-page":"55","volume-title":"Formal Methods for Real-Time Computing, Trends in Software Series","author":"R. Alur","year":"1996","unstructured":"Alur, R., Dill, D.: Automata-theoretic verification of real-time systems. In: Formal Methods for Real-Time Computing, Trends in Software Series, pp. 55\u201382. John Wiley & Sons, Chichester (1996)"},{"key":"28_CR5","unstructured":"Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata, Technical Report MIT-LCS-TR-917a, MIT Lab. for Computer Science (2004)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-63010-4_8","volume-title":"Transformation-Based Reactive Systems Development","author":"H. Dierks","year":"1997","unstructured":"Dierks, H.: PLC-Automata, A New Class of Implementable Real-Time Automata. In: Bertran, M., Rus, T. (eds.) Transformation-Based Reactive Systems Development. LNCS, vol.\u00a01231, pp. 111\u2013125. Springer, Berlin (1997)"},{"key":"28_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, Berlin (1997)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11563228_23","volume-title":"Computer Safety, Reliability, and Security","author":"K. Sacha","year":"2005","unstructured":"Sacha, K.: Automatic Code Generation for PLC Controllers. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 303\u2013316. Springer, Heidelberg (2005)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-74984-4_8","volume-title":"SDL 2007: Design for Dependable Systems","author":"K. Sacha","year":"2007","unstructured":"Sacha, K.: Translatable Finite State Time Machine. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol.\u00a04745, pp. 117\u2013132. Springer, Heidelberg (2007)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal, Department of Computer Science. Aalborg University (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"28_CR11","unstructured":"IEC 61131-3, Programmable controllers \u2013 part 3: Programming languages, IEC (1993)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:50Z","timestamp":1606183550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}