{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T23:59:54Z","timestamp":1774051194277,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319708478","type":"print"},{"value":"9783319708485","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_3","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T10:43:26Z","timestamp":1510310606000},"page":"15-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems"],"prefix":"10.1007","author":[{"given":"Farah","family":"Al-Shareefi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Lisitsa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-24255-2_10","volume-title":"Computer Safety, Reliability, and Security","author":"A Abdulkhaleq","year":"2015","unstructured":"Abdulkhaleq, A., Wagner, S.: Integrated safety analysis using systems-theoretic process analysis and software model checking. In: Koornneef, F., van Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9337, pp. 121\u2013134. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24255-2_10"},{"key":"3_CR2","unstructured":"Abdulkhaleq, A., Wagner, S.: XSTAMPP: an extensible STAMP platform as tool support for safety engineering. In: 2015 STAMP Workshop. MIT, Boston. Stuttgart University (2015)"},{"key":"3_CR3","unstructured":"Abdulkhaleq, A., Wagner, S.: A systematic and semi-automatic safety-based test case generation approach based on systems-theoretic process analysis. arXiv preprint arXiv:1612.03103 (2016)"},{"issue":"11","key":"3_CR4","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Formal validation and verification of a medical software critical component. In: 2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 80\u201389. IEEE (2015)","DOI":"10.1109\/MEMCOD.2015.7340473"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 61\u201374. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11811-1_6"},{"key":"3_CR7","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Automatic review of abstract state machines by meta-property verification. In: NASA Formal Methods Symposium, pp. 4\u201313. NASA (2010)"},{"key":"3_CR8","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-07512-9_3","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"P Arcaini","year":"2014","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Modeling and analyzing using ASMs: the landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 36\u201351. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_3"},{"issue":"2","key":"3_CR9","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2), 155\u2013166 (2011)","journal-title":"Softw. Pract. Exp."},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"3_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71\u201384. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87603-8_7"},{"issue":"12","key":"3_CR13","first-page":"1949","volume":"14","author":"A Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14(12), 1949\u20131983 (2008)","journal-title":"J. UCS"},{"issue":"1","key":"3_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/52.251198","volume":"11","author":"S Gerhart","year":"1994","unstructured":"Gerhart, S., Craigen, D., Ralston, T.: Experience with formal methods in critical systems. IEEE Softw. 11(1), 21\u201328 (1994)","journal-title":"IEEE Softw."},{"key":"3_CR15","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Inc. (1995)"},{"issue":"1","key":"3_CR16","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1186\/s40294-016-0028-5","volume":"4","author":"U Khan","year":"2016","unstructured":"Khan, U., Ahmad, J., Saeed, T., Mirza, S.H.: On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station. Complex Adapt. Syst. Model. 4(1), 17 (2016)","journal-title":"Complex Adapt. Syst. Model."},{"issue":"4","key":"3_CR17","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0925-7535(03)00047-X","volume":"42","author":"N Leveson","year":"2004","unstructured":"Leveson, N.: A new accident model for engineering safer systems. Saf. Sci. 42(4), 237\u2013270 (2004)","journal-title":"Saf. Sci."},{"key":"3_CR18","unstructured":"Leveson, N., Thomas, J.: An STPA Primer, Cambridge (2013)"},{"key":"3_CR19","unstructured":"Leveson, N.G.: A new approach to hazard analysis for complex systems. In: International Conference of the System Safety Society (2003)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-69489-2_5","volume-title":"Models in Software Engineering","author":"M Ouimet","year":"2007","unstructured":"Ouimet, M., Berteau, G., Lundqvist, K.: Modeling an electronic throttle controller using the timed abstract state machine language and toolset. In: K\u00fchne, T. (ed.) MODELS 2006. LNCS, vol. 4364, pp. 32\u201341. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-69489-2_5"},{"issue":"1","key":"3_CR21","doi-asserted-by":"crossref","first-page":"86","DOI":"10.3182\/20050703-6-CZ-1902.01439","volume":"38","author":"IB Santiago","year":"2005","unstructured":"Santiago, I.B., Faure, J.M.: From fault tree analysis to model checking of logic controllers. IFAC Proc. 38(1), 86\u201391 (2005)","journal-title":"IFAC Proc."},{"key":"3_CR22","unstructured":"Sommerville, I.: Insulin Pump \u2013 Z schemas. http:\/\/iansommerville.com\/software-engineering-book\/files\/2014\/07\/Insulin-Pump-Z-schemas.pdf"},{"key":"3_CR23","volume-title":"Software Engineering","author":"I Sommerville","year":"2010","unstructured":"Sommerville, I.: Software Engineering, 9th edn. Addison Wesley, Boston (2010)","edition":"9"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Thomas, J.: Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis. Ph.D. thesis, Massachusetts Institute of Technology (2013)","DOI":"10.2172\/1044959"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Troubitsyna, E.: Elicitation and Specification of Safety Requirements. In: Third International Conference on Systems (ICONS 2008), pp. 202\u2013207. IEEE (2008)","DOI":"10.1109\/ICONS.2008.56"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Wang, J., Liu, S., Qi, Y., Hou, D.: Developing an insulin pump system using the SOFL method. In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 334\u2013341. IEEE (2007)","DOI":"10.1109\/ASPEC.2007.31"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T20:36:47Z","timestamp":1570307807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}