{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:39:51Z","timestamp":1743140391767,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041662"},{"type":"electronic","value":"9783642041679"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04167-9_3","type":"book-chapter","created":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T10:45:02Z","timestamp":1250678702000},"page":"42-60","source":"Crossref","is-referenced-by-count":3,"title":["A Real-Time Extension of Creol for Modelling Biomedical Sensors"],"prefix":"10.1007","author":[{"given":"Marcel","family":"Kyas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"International Organization for Standardization Geneva: Information technology \u2013 Open Distributed Processing \u2013 Reference model: Overview. Iso\/iec 10746-1:1998 edn (1998)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-24769-2_21","volume-title":"Software Architecture","author":"S. Graf","year":"2004","unstructured":"Graf, S., Hooman, J.: Correct development of embedded systems. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 241\u2013249. Springer, Heidelberg (2004)"},{"key":"3_CR3","volume-title":"ACSD","author":"I. Oliver","year":"2003","unstructured":"Oliver, I.: Model driven embedded systems. In: ACSD, vol.\u00a05. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"3_CR4","unstructured":"SysML Partners: OMG SysML Specification. (March 2007), http:\/\/www.sysml.org\/specs.htm"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/332051.332078","volume":"43","author":"J. Bowen","year":"2000","unstructured":"Bowen, J.: The ethics of safety-critical systems. Communications of the ACM\u00a043(4), 91\u201397 (2000)","journal-title":"Communications of the ACM"},{"issue":"1-2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Theoretical Computer Science"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science\u00a0285(2), 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"3_CR9","first-page":"141","volume-title":"SwSTE","author":"J. Dovland","year":"2005","unstructured":"Dovland, J., Johnsen, E.B., Owe, O.: Verification of concurrent objects with asynchronous method calls. In: SwSTE, pp. 141\u2013150. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/3-540-45931-6_2","volume-title":"Foundations of Software Science and Computation Structures","author":"E. \u00c1brah\u00e1m-Mumm","year":"2002","unstructured":"\u00c1brah\u00e1m-Mumm, E., de Boer, F.S., de Roever, W.-P., Steffen, M.: Verification for java\u2019s reentrant multithreading concept. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, p. 5. Springer, Heidelberg (2002)"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling\u00a06(1), 35\u201358 (2007)","journal-title":"Software and Systems Modeling"},{"issue":"10","key":"3_CR12","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: An operating system structuring concept. Communications of the ACM\u00a017(10), 549\u2013557 (1974)","journal-title":"Communications of the ACM"},{"key":"3_CR13","unstructured":"Johnsen, E.B., Owe, O., Arnestad, M.: Combining active and reactive behavior in concurrent objects. In: Langmyhr, D. (ed.) NIK, November 2003, pp. 193\u2013204. Tapir Academic Publisher (2003)"},{"issue":"2","key":"3_CR14","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\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"6A","key":"3_CR15","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/BF01213604","volume":"6","author":"J. Hooman","year":"1994","unstructured":"Hooman, J.: Extending Hoare logic to real-time. Formal Aspects of Computing\u00a06(6A), 801\u2013825 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-68237-0_6","volume-title":"FM 2008: Formal Methods","author":"J. Dovland","year":"2008","unstructured":"Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Lazy behavioral subtyping. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 52\u201367. Springer, Heidelberg (2008)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-54430-5_84","volume-title":"CONCUR \u201991","author":"F.S. Boer de","year":"1991","unstructured":"de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M.: The failure of failures in a paradigm for asynchronous communication. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 111\u2013126. Springer, Heidelberg (1991)"},{"key":"3_CR18","volume-title":"Real-Time Systems","author":"J.W. Liu","year":"2000","unstructured":"Liu, J.W.: Real-Time Systems. Prentice Hall, Upper Saddle River (2000)"},{"issue":"1","key":"3_CR19","first-page":"10","volume":"37","author":"C.E. Shannon","year":"1949","unstructured":"Shannon, C.E.: Communication in the presence of noise. Proceedings of the Institute of Radio Engineers\u00a037(1), 10\u201321 (1949)","journal-title":"Proceedings of the Institute of Radio Engineers"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45449-7_32","volume-title":"Embedded Software","author":"C. Ferdinand","year":"2001","unstructured":"Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 469\u2013485. Springer, Heidelberg (2001)"},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01941129","volume":"28","author":"W.M. Turski","year":"1988","unstructured":"Turski, W.M.: Time considered irrelevant for real-time systems. BIT\u00a028(3), 473\u2013486 (1988)","journal-title":"BIT"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BFb0054099","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"L. Mikhajlov","year":"1998","unstructured":"Mikhajlov, L., Sekerinski, E.: A study of the fragile base class problem. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 355\u2013382. Springer, Heidelberg (1998)"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"107","DOI":"10.7551\/mitpress\/2087.003.0007","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"S. Matsuoka","year":"1993","unstructured":"Matsuoka, S., Yonezawa, A.: Analysis of inheritance anomaly in object-oriented concurrent programming languages. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Concurrent Object-Oriented Programming, pp. 107\u2013150. MIT Press, Cambridge (1993)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/BFb0052193","volume-title":"Object-Oriented Programming","author":"M. Aksit","year":"1994","unstructured":"Aksit, M., Bosch, J., van der Sterren, W., Bergmans, L.: Real-time specification inheritance anomalies and real-time filters. In: Tokoro, M., Pareschi, R. (eds.) ECOOP 1994. LNCS, vol.\u00a0821, pp. 386\u2013407. Springer, Heidelberg (1994)"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal \u2014 a tool suite for automatic verification of real\u2013time systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1450058.1450069","volume-title":"EMSOFT","author":"S. Tschirner","year":"2008","unstructured":"Tschirner, S., Xuedong, L., Yi, W.: Model-based validation of QoS properties of biomedical sensor networks. In: de Alfaro, L., Palsberg, J. (eds.) EMSOFT, pp. 69\u201378. ACM Press, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04167-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T23:15:23Z","timestamp":1710544523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04167-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041662","9783642041679"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04167-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}