{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T04:40:02Z","timestamp":1737434402205,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751007"},{"type":"electronic","value":"9783540751014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75101-4_27","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:15:29Z","timestamp":1190366129000},"page":"276-282","source":"Crossref","is-referenced-by-count":5,"title":["Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study"],"prefix":"10.1007","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[]},{"given":"Axel","family":"Hollmann","sequence":"additional","affiliation":[]},{"given":"Nimal","family":"Nissanke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1109\/32.87278","volume":"17\/6","author":"F. Belli","year":"1991","unstructured":"Belli, F., Grosspietsch, K.-E.: Specification of Fault-Tolerant System Issues by Predicate\/Transition Nets and Regular Expressions \u2013 Approach and Case Study. IEEE Trans. On Softw. Eng.\u00a017\/6, 513\u2013526 (1991)","journal-title":"IEEE Trans. On Softw. Eng."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Belli, F.: Finite-State Testing and Analysis of Graphical User Interfaces. In: Proc. 12th Internat\u2019l. Symp. Software Reliability Engineering, pp. 34\u201343 (2001)","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Bochmann, G.V., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. Softw. Eng. Notes, ACM SIGSOFT, 109\u2013124 (1994)","DOI":"10.1145\/186258.187153"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Designed Modeled by Finite-State Machines. IEEE Trans. Softw. Eng.\u00a04, 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Eggers, B., Belli, F.: A Theory on Analysis and Construction of Fault-Tolerant Systems (in German). In: Informatik-Fachberichte 84, pp. 139\u2013149. Springer, Berlin (1984)","DOI":"10.1007\/978-3-642-69698-5_12"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Namaad, A.: The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Meth.\u00a05, 293\u2013333 (1996)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"key":"27_CR7","volume-title":"Safeware, System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware, System Safety and Computers. Addison-Wesley, Reading (1995)"},{"issue":"6","key":"27_CR8","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/357474.355050","volume":"25","author":"Atif M. Memon","year":"2000","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Automated Test Oracles for GUIs. In: SIGSOFT 2000, pp. 30\u201339 (2000)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1016\/S0925-7535(01)00089-3","volume":"40","author":"N. Nissanke","year":"2002","unstructured":"Nissanke, N., Dammag, H.: Design for Safety in Safecharts With Risk Ordering of States. Safety Science\u00a040, 753\u2013763 (2002)","journal-title":"Safety Science"},{"issue":"1","key":"27_CR10","first-page":"25","volume":"13","author":"J. Offutt","year":"2003","unstructured":"Offutt, J., Shaoying, L., Abdurazik, A., Ammann, P.: Generating Test Data From State-Based Specifications. The Journal of STVR\u00a013(1), 25\u201353 (2003)","journal-title":"The Journal of STVR"},{"key":"27_CR11","volume-title":"Theory of Automata","author":"A. Salomaa","year":"1969","unstructured":"Salomaa, A.: Theory of Automata. Pergamon Press, Oxford (1969)"},{"key":"27_CR12","volume-title":"Safety-critical computer systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-critical computer systems. Addison-Wesley, Reading (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75101-4_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T04:06:30Z","timestamp":1737432390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}