{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:16:04Z","timestamp":1747973764086,"version":"3.41.0"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175805"},{"type":"electronic","value":"9783319175812"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17581-2_9","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T12:22:36Z","timestamp":1429100556000},"page":"127-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering"],"prefix":"10.1007","author":[{"given":"Jaco","family":"Jacobs","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Simpson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8179.001.0001","volume-title":"Engineering a Safer World: Systems Thinking Applied to Safety","author":"NG Leveson","year":"2012","unstructured":"Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2012)"},{"key":"9_CR2","unstructured":"Object Management Group: Systems Modeling Language Specification, version 1.3 (2012). http:\/\/www.omg.org\/spec\/SysML\/1.3, March 2014"},{"key":"9_CR3","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, London (1985)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-41202-8_18","volume-title":"Formal Methods and Software Engineering","author":"J Jacobs","year":"2013","unstructured":"Jacobs, J., Simpson, A.: Towards a process algebra framework for supporting behavioural consistency and requirements traceability in SysML. In: Groves, Lindsay, Sun, Jing (eds.) ICFEM 2013. LNCS, vol. 8144, pp. 265\u2013280. Springer, Heidelberg (2013)"},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S1571-0661(05)80494-3","volume":"70","author":"JWM Davies","year":"2002","unstructured":"Davies, J.W.M., Crichton, C.R.: Concurrency and refinement in the unified modeling language. Electron. Notes in Theoret. Comput. Sci. 70(3), 217\u2013243 (2002)","journal-title":"Electron. Notes in Theoret. Comput. Sci."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Development of Reactive Systems","year":"1995","unstructured":"Lewerentz, Claus, Lindner, Thomas (eds.): Formal Development of Reactive Systems. LNCS, vol. 891. Springer, Heidelberg (1995)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Ng, M.Y., Butler, M.: Towards formalizing UML state diagrams in CSP. In: Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), pp. 138\u2013147. IEEE (2003)","DOI":"10.1109\/SEFM.2003.1236215"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Yeung, W.L., Leung, K.R.P.H., Dong, W., Wang, J.: Improvements towards formalizing UML state diagrams in CSP. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 176\u2013182. IEEE (2005)","DOI":"10.1109\/APSEC.2005.70"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Xu, D., Philbert, N., Liu, Z., Liu, W.: Towards formalizing UML activity diagrams in CSP. In: Proceedings of the 2008 International Symposium on Computer Science and Computational Technology (ISCSCT 2008), pp. 450\u2013453. IEEE (2008)","DOI":"10.1109\/ISCSCT.2008.379"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17581-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T15:36:41Z","timestamp":1747928201000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17581-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175805","9783319175812"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17581-2_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}