{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:11:55Z","timestamp":1725491515526},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752080"},{"type":"electronic","value":"9783540752097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_23","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T07:42:37Z","timestamp":1189496557000},"page":"331-345","source":"Crossref","is-referenced-by-count":1,"title":["A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems"],"prefix":"10.1007","author":[{"given":"Kari","family":"Lepp\u00e4nen","sequence":"first","affiliation":[]},{"given":"Sari","family":"Lepp\u00e4nen","sequence":"additional","affiliation":[]},{"given":"Markku","family":"Turunen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"23_CR2","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"23_CR3","unstructured":"Lepp\u00e4nen, S.: The Lyra Design Method. Technical report, Technical University of Tampere (2005) ISBN 952-15-1464-7, ISSN 1459-417X"},{"key":"23_CR4","unstructured":"Lepp\u00e4nen, S., Ilic, D., Malik, Q., Syst\u00e4, T., Troubitsyna, E.: Specifying UML Profile for Distributed Communicating Systems and Communication Protocols. In: Proceedings of the Workshop on Consistency in Model Driven Engineering (2005)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Ilic, D., Troubitsyna, E., Laibinis, L., Lepp\u00e4nen, S.: Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols, Technical Report (enhanced version submitted into a journal), Turku Centre for Computer Science (2006), ISBN 952-12-1749-9","DOI":"10.1109\/ISoLA.2006.40"},{"key":"23_CR6","volume-title":"SDL Formal Object-Oriented Language for Communicating Systems","author":"J. Ellsberger","year":"1997","unstructured":"Ellsberger, J., Hogrefe, D., Sarma, A.: SDL Formal Object-Oriented Language for Communicating Systems. Prentice Hall, Englewood Cliffs (1997)"},{"key":"23_CR7","volume-title":"Real-Time Technology and Applications Symposium","author":"B. Selic","year":"1996","unstructured":"Selic, B.: Tutorial: real-time object-oriented modeling (ROOM). In: Real-Time Technology and Applications Symposium, IEEE, Los Alamitos (1996)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Selic, B., Gullekson, G., McGee, J., Engelberg, I.: ROOM: an object-oriented methodology for developing real-time systems. In: Fifth International Workshop on Computer-Aided Software Engineering (1992)","DOI":"10.1109\/CASE.1992.200156"},{"key":"23_CR9","unstructured":"EU project IST 511599 RODIN: Rigorous Open Development Environment for Complex Systems (2007), http:\/\/rodin.cs.ncl.ac.uk\/"},{"key":"23_CR10","volume-title":"The Rational Unified Process: An Introduction","author":"P. Kruchten","year":"2000","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction. Addison-Wesley, Reading (2000)"},{"key":"23_CR11","volume-title":"The Unified Software Development Process: An Introduction","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process: An Introduction. Addison-Wesley, Reading (1999)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_14","volume-title":"Formal Methods and Software Engineering","author":"L. Laibinis","year":"2005","unstructured":"Laibinis, L., Troubitsyna, E., Lepp\u00e4nen, S., Lilius, J., Malik, Q.: Formal Model-Driven Development of Communicating Systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, Springer, Heidelberg (2005)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","first-page":"187","volume-title":"Rigorous Development of Complex Fault-Tolerant Systems","author":"L. Laibinis","year":"2006","unstructured":"Laibinis, L., Troubitsyna, E., Lepp\u00e4nen, S., Lilius, J., Malik, Q.: Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS, vol.\u00a04157, pp. 187\u2013261. Springer, Heidelberg (2006)"},{"key":"23_CR14","unstructured":"Telelogic TAU G2 documentation (2007), http:\/\/www.telelogic.com\/"},{"key":"23_CR15","unstructured":"Model Driven Architecture (2007), http:\/\/www.omg.org\/mda\/"},{"key":"23_CR16","unstructured":"UML 2.0: Superstructure, version 2.0. Object Management Group (2005)"},{"key":"23_CR17","unstructured":"WiMAX End-to-End Network Systems Architecture (Stage 3: Detailed Protocols and Procedures). WiMAX Forum (2006)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75209-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:55:59Z","timestamp":1619520959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}