{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,30]],"date-time":"2025-11-30T22:25:26Z","timestamp":1764541526910},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308072"},{"type":"electronic","value":"9783540322955"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596356_18","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:49:24Z","timestamp":1132642164000},"page":"152-163","source":"Crossref","is-referenced-by-count":30,"title":["Design Models for Reusable and Reconfigurable State Machines"],"prefix":"10.1007","author":[{"given":"Christo","family":"Angelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Sierszecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolae","family":"Marian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Angelov, C., Sierszecki, K.: A Software Framework for Component-Based Embedded Applications. In: Proc. of the Asia-Pacific Software Engineering Conference, APSEC 2004, Busan, Korea (2004)","DOI":"10.1109\/APSEC.2004.9"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Samek, M.: Practical Statecharts in C\/C++: Quantum Programming for Embedded Systems. CMP Books (2002)","DOI":"10.1201\/9781482280807"},{"key":"18_CR3","unstructured":"Wagner, F., Wolstenholme, P.: Modeling and Building Reliable, Re-usable Software. In: Proc. of the 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, USA (2003)"},{"issue":"4","key":"18_CR4","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/TRA.2002.802235","volume":"18","author":"S. Wang","year":"2002","unstructured":"Wang, S., Shin, K.G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation\u00a018(4), 475\u2013486 (2002)","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"18_CR5","unstructured":"Maraninchi, F., Remond, Y.: Applying Formal Methods to Industrial Cases: the Language Approach (The Production-Cell and Mode-Automata). In: Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems, Berlin (2000)"},{"key":"18_CR6","unstructured":"Lee, E.: Embedded Software \u2013 an Agenda for Research. UCB ERL Memorandum M99\/63, University of California at Berkeley, USA (1999)"},{"key":"18_CR7","volume-title":"Real-Time UML: Developing Efficient Objects for Embedded Systems","author":"B.P. Douglass","year":"1998","unstructured":"Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison Wesley, Reading (1998)"},{"issue":"6","key":"18_CR8","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/32.508311","volume":"22","author":"M.P.E. Heimdahl","year":"1996","unstructured":"Heimdahl, M.P.E., Leveson, N.G.: Completeness and Consistency Analysis of State-Based Requirements. IEEE Transactions on Software Engineering, TSE\u00a022(6), 363\u2013377 (1996)","journal-title":"IEEE Transactions on Software Engineering, TSE"},{"key":"18_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07847-1","volume-title":"IEC61131-3: Programming Industrial Automation Systems","author":"K.-H. John","year":"2001","unstructured":"John, K.-H., Tiegelkamp, M.: IEC61131-3: Programming Industrial Automation Systems. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing \u2013 EUC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596356_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:54:36Z","timestamp":1619506476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596356_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308072","9783540322955"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11596356_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}