{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:22Z","timestamp":1725486262523},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_24","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"306-315","source":"Crossref","is-referenced-by-count":2,"title":["Object Oriented Safety Analysis of an Extra High Voltage Substation Bay"],"prefix":"10.1007","author":[{"given":"Bartosz","family":"Nowicki","sequence":"first","affiliation":[]},{"given":"Janusz","family":"G\u00f3rski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"24_CR1","unstructured":"Cadre, Paradigm Plus. Cadre Edition. User\u2019s Guide, 1994"},{"key":"24_CR2","first-page":"338","volume-title":"Object-Oriented Approach to Safety Analysis","author":"J. G\u00f3rski","year":"1995","unstructured":"G\u00f3rski J., Nowicki B., Object-Oriented Approach to Safety Analysis, Proc. ENCRESS\u201995, Springer-Verlag, Bruges (Belgium), September 12\u201315, 1995, pp. 338\u2013350"},{"key":"24_CR3","first-page":"46","volume-title":"Safety Analysis Based on Object-Oriented Modelling of Critical Systems","author":"J. G\u00f3rski","year":"1996","unstructured":"G\u00f3rski J., Nowicki B., Safety Analysis Based on Object-Oriented Modelling of Critical Systems, Proc. SAFECOMP\u201996, Springer-Verlag, Vienna Oct. 23\u201325, 1996, pp. 46\u201360"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"G\u00f3rski J., Nowicki B., Safety Monitor Synthesis Based on Hazard Scenarios, Proc. ESREL\u201997, Pergamon, June, 1997, Lisbon, Portugal, pp. 407\u2013415","DOI":"10.1016\/B978-008042835-2\/50046-1"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"G\u00f3rski J., Nowicki B., Object-oriented Safety Monitor Synthesis, Proc. ENCRESS\u201997, Chapman&Hall, May 29\u201330, 1997, Athens, Greece, pp. 121\u2013133","DOI":"10.1007\/978-0-387-35097-4_10"},{"key":"24_CR6","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, In Science of Computer Programming 8, 1987, pp. 231\u2013274","journal-title":"Science of Computer Programming"},{"key":"24_CR7","unstructured":"i-Logix Inc., Burlington, STATEMATE-Technical Documentation, 1996"},{"key":"24_CR8","series-title":"TR IS AT","volume-title":"Object Oriented Modelling of the Extra High Voltage Substation","author":"B. Nowicki","year":"1997","unstructured":"Nowicki B., Gorski J., Object Oriented Modelling of the Extra High Voltage Substation, TR IS AT 97\/6, ITTI Centre of Software Engineering, Poland, Poznan, April 1997"},{"key":"24_CR9","series-title":"TR ISAT","volume-title":"Object Oriented Modelling of the Extra High Voltage Substation Bay Including Equalising Currents","author":"B. Nowicki","year":"1997","unstructured":"Nowicki B., G\u00f3rski J., Object Oriented Modelling of the Extra High Voltage Substation Bay Including Equalising Currents, TR ISAT 97\/16, ITTI Centre of Software Engineering, Poland, Pozna\u0144, April 1997"},{"key":"24_CR10","series-title":"TR ISAT 97\/7","volume-title":"Object Oriented Safety Analysis of the Extra High Voltage Substation Bay","author":"B. Nowicki","year":"1997","unstructured":"Nowicki B., G\u00f3rski J., Object Oriented Safety Analysis of the Extra High Voltage Substation Bay, TR ISAT 97\/7, ITTI Centre of Software Engineering, Poland, Poznan, April 1997"},{"key":"24_CR11","unstructured":"Nowicki B., G\u00f3rski J., Object Oriented Safety Monitor Synthesis for the Extra High Voltage Substation Bay, Technical Report, Technical University of Gdansk (in preparation)"},{"key":"24_CR12","unstructured":"Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W., Object-Oriented Modelling and Design, Prentice Hall Int., 1991"},{"key":"24_CR13","series-title":"TR ISAT","volume-title":"Identification and Preparation of Case Studies-Extra-High Voltage Substation Software Interlocking Case Study","author":"Z. \u017curakowski","year":"1996","unstructured":"\u017curakowski Z., Identification and Preparation of Case Studies-Extra-High Voltage Substation Software Interlocking Case Study, TR ISAT 97\/8, Institute of Power Systems Automation, Poland, Wroclaw, December 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\/3-540-49646-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T09:38:43Z","timestamp":1550396323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}