{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T04:25:11Z","timestamp":1743740711113,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642323546"},{"type":"electronic","value":"9783642323553"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32355-3_6","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T10:36:41Z","timestamp":1342003001000},"page":"93-110","source":"Crossref","is-referenced-by-count":6,"title":["Experiences with a Compositional Model Checker in the Healthcare Domain"],"prefix":"10.1007","author":[{"given":"Jozef","family":"Hooman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Huis in \u2019t Veld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathijs","family":"Schuts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)"},{"key":"6_CR2","unstructured":"Booch, G., Rumbaugh, J.E., Jacobson, I.: The unified modeling language user guide - the ultimate tutorial to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley-Longman (1999)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: 10th Asia-Pacific Software Engineering Conferenc (APSEC 2003), pp. 49\u201358 (2003)","DOI":"10.1109\/APSEC.2003.1254357"},{"key":"6_CR4","unstructured":"ClearSy: Atelier B, industrial tool supporting the B method (2011), http:\/\/www.atelierb.eu\/en\/"},{"key":"6_CR5","unstructured":"CSK Systems Corporation: VDMTools, industrial tool supporting VDM++ (2011), http:\/\/www.vdmtools.jp\/en\/"},{"key":"6_CR6","unstructured":"Esterel Technologies: SCADE Suite, model based development environment dedicated to critical embedded software (2011), http:\/\/www.esterel-technologies.com\/products\/scade-suite\/"},{"key":"6_CR7","volume-title":"Validated Designs for Object-oriented Systems","author":"J. Fitzgerald","year":"2005","unstructured":"Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, New York (2005), http:\/\/www.vdmbook.com"},{"key":"6_CR8","unstructured":"Formal Systems (Europe) Ltd: FDR2 model checker (2011), http:\/\/www.fsel.com\/"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Osaiweran, A., Wesselius, J.H.: Analyzing the effects of formal methods on the development of industrial control software. In: Proceedings of the IEEE ICSM 2011, pp. 467\u2013472 (2011)","DOI":"10.1109\/ICSM.2011.6081983"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"6_CR12","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54947-1","volume-title":"Specification and Compositional Verification of Real-Time Systems","author":"J. Hooman","year":"1991","unstructured":"Hooman, J.: Specification and Compositional Verification of Real-Time Systems. LNCS, vol.\u00a0558. Springer, Heidelberg (1991)"},{"issue":"6","key":"6_CR13","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.entcs.2005.04.008","volume":"128","author":"P.J. Hopcroft","year":"2005","unstructured":"Hopcroft, P.J., Broadfoot, G.H.: Combining the box structure development method and CSP for software development. Electronic Notes in Theoretical Computer Science\u00a0128(6), 127\u2013144 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"10","key":"6_CR14","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/2.948","volume":"21","author":"H.D. Mills","year":"1988","unstructured":"Mills, H.D.: Stepwise refinement and verification in box-structured systems. Computer\u00a021, 23\u201336 (1988)","journal-title":"Computer"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.2003.1199071","volume":"29","author":"S.J. Prowell","year":"2003","unstructured":"Prowell, S.J., Poore, J.H.: Foundations of sequence-based software specification. IEEE Transactions on Software Engineering\u00a029, 417\u2013429 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR17","unstructured":"Roscoe, A.W.: The theory and practice of concurrency. Prentice Hall (1998)"},{"key":"6_CR18","unstructured":"Verum: ASD:Suite (2011), http:\/\/www.verum.com\/"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Informatics Engineering and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32355-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T21:21:06Z","timestamp":1743715266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32355-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642323546","9783642323553"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32355-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}