{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:04:10Z","timestamp":1725552250669},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311126"},{"type":"electronic","value":"9783540324508"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11608035_10","type":"book-chapter","created":{"date-parts":[[2005,12,8]],"date-time":"2005-12-08T13:40:49Z","timestamp":1134049249000},"page":"91-99","source":"Crossref","is-referenced-by-count":0,"title":["A Rigorous Software Process for the Development of Embedded Systems"],"prefix":"10.1007","author":[{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"1","volume-title":"Proceedings of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering)","author":"H. Giese","year":"2005","unstructured":"Giese, H., Kindler, E., Klein, F., Wagner, R.: Reconciling Scenario-Centered Controller Design with State-Based System Models. In: Bontemps, Y., et al. (eds.) Proceedings of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pp. 1\u20135. IEEE, Los Alamitos (2005) (accepted)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Giese, H., Burmester, S.: Analysis and Synthesis for Parameterized Timed Sequence Diagrams. In: Proceedings of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop W5S), Edinburgh, Scotland (2004)","DOI":"10.1049\/ic:20040236"},{"key":"10_CR3","first-page":"38","volume-title":"Proceedings of the European Software Engineering Conference (ESEC) Helsinki, Finland","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proceedings of the European Software Engineering Conference (ESEC) Helsinki, Finland, pp. 38\u201347. ACM Press, New York (2003)"},{"key":"10_CR4","volume-title":"Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA","author":"H. Giese","year":"2004","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA. ACM Press, New York (2004)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: Masaccio: A Formal Model for Embedded Components. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 549\u2013563. Springer, Heidelberg (2000)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Harel, D., Gery, E.: Executable Object Modeling with Statecharts. In: Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, pp. 245\u2013257 (1996)","DOI":"10.1109\/ICSE.1996.493420"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45352-0_4","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"H.E. Jensen","year":"2000","unstructured":"Jensen, H.E., Larsen, K.G., Skou, A.: Scaling up Uppaal Automatic Verification of Real-Time Systems using Compositionality and Abstraction. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, p. 19. Springer, Heidelberg (2000)"},{"key":"10_CR8","unstructured":"Rensink, A.: Towards Model Checking Graph Grammars In: Leuschel, M., Gruner, S., Presti, S. L.: Technical Report DSSE\u2014TR\u20142003\u20142. University of Southampton, 150\u2013160 (2003)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-27863-4_5","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"W. Sch\u00e4fer","year":"2004","unstructured":"Sch\u00e4fer, W., Wagner, R., Gausemeier, J., Eckes, R.: An Engineer\u2019s Workstation to support Integrated Development of Flexible Production Control Systems. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 48\u201368. Springer, Heidelberg (2004)"},{"key":"10_CR10","first-page":"241","volume-title":"Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland","author":"H.J. K\u00f6hler","year":"2000","unstructured":"K\u00f6hler, H.J., Nickel, U., Niere, J., Z\u00fcndorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 241\u2013251. ACM Press, New York (2000)"},{"key":"10_CR11","first-page":"179","volume-title":"DFG-Workshop: Modelle, Werkzeuge und Infrastrukturen zur Unterst\u00fctzung von Entwicklungsprozessen","author":"U. Nickel","year":"2000","unstructured":"Nickel, U., Sch\u00e4fer, W., Z\u00fcndorf, A.: Integrative Specification of Distrubuted Production Control Systems for Flexible Automated Manufacturing. In: Nagl, M., Westfechtel, B. (eds.) DFG-Workshop: Modelle, Werkzeuge und Infrastrukturen zur Unterst\u00fctzung von Entwicklungsprozessen, pp. 179\u2013195. Wiley-VCH Verlag GmbH and Co. KGaA, Chichester (2000)"}],"container-title":["Lecture Notes in Computer Science","Unifying the Software Process Spectrum"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11608035_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:05:49Z","timestamp":1619507149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11608035_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311126","9783540324508"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11608035_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}