{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:47:29Z","timestamp":1725619649789},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760702"},{"type":"electronic","value":"9781447109372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0937-2_4","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T11:23:02Z","timestamp":1318245782000},"page":"46-60","source":"Crossref","is-referenced-by-count":1,"title":["Safety Analysis Based on Object-oriented Modelling of Critical Systems"],"prefix":"10.1007","author":[{"given":"Janusz","family":"G\u00f3rski","sequence":"first","affiliation":[]},{"given":"Bartosz","family":"Nowicki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"International Electrotechnical Commission, Functional Safety: Safety related Systems IEC 1508, 1995"},{"volume-title":"Dependability of Critical Computer Systems 1, 2, 3","year":"1989","key":"4_CR2","unstructured":"Redmill F. J. ed., Dependability of Critical Computer Systems 1, 2, 3, Elsevier Applied Science, 1989"},{"key":"4_CR3","volume-title":"Object-Oriented Modelling and Design","author":"J Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modelling and Design, Prentice Hall Int., 1991."},{"key":"4_CR4","unstructured":"i-Logix Inc., Burlington, STATEMATE - Technical Documentation."},{"key":"4_CR5","volume-title":"Safeware: System Safety and Computers","author":"N Leveson","year":"1995","unstructured":"Leveson, N.; Safeware: System Safety and Computers, Addison-Wesley, 1995"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Leveson N. G., Stolzy J. L., Safety Analysis Using Petri Nets, IEEE Transaction on Software Engineering, vol. SE-13, no. 3, March 1987","DOI":"10.1109\/TSE.1987.233170"},{"key":"4_CR7","volume-title":"Safety and Reliability of Software Based Systems","author":"J G\u00f3rski","year":"1995","unstructured":"G\u00f3rski, J.; Nowicki, B., Object Oriented Approach to Safety Analysis, Safety and Reliability of Software Based Systems, Brugge, Belgium, 12\u201315 September 1995."},{"key":"4_CR8","first-page":"90","volume-title":"Proc. SAFECOMP\u201995","author":"J G\u00f3rski","year":"1995","unstructured":"G\u00f3rski, J., Magott, J. and Wardzi\u0144ski, A., Modeling Fault Trees Using Petri Nets, Proc. SAFECOMP\u201995, (G Rabe Ed.) Springer-Verlag, 1995, pp 90\u2013100."},{"key":"4_CR9","volume-title":"Deriving Real-Time Requirements for Software from Safety Analysis","author":"J G\u00f3rski","year":"1996","unstructured":"G\u00f3rski, J.; Wardzi\u0144ski, A., Deriving Real-Time Requirements for Software from Safety Analysis, 8th Euromicro Workshop on Real-Time Systems, L\u2019Aquila (Italy), June 12\u201314, 1996"},{"key":"4_CR10","volume-title":"Probabilistic Risk Assessment","author":"J G\u00f3rski","year":"1996","unstructured":"G\u00f3rski, J., Nowicki, B. and A. Wardzinski, Holistic and Partial System Models in Safety Analysis, Probabilistic Risk Assessment, USA, September 1996"},{"key":"4_CR11","unstructured":"G\u00f3rski, J., Nowicki, B. Object Oriented Model Based Safety Monitor Synthesis, III Conference on Real-time Systems\u201996, Szklarska Por\u0119ba, Poland (in Polish)"}],"container-title":["Safe Comp 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0937-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T20:57:36Z","timestamp":1619816256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0937-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540760702","9781447109372"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0937-2_4","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}