{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T18:01:27Z","timestamp":1749751287190},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231769"},{"type":"electronic","value":"9783540301387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_8","type":"book-chapter","created":{"date-parts":[[2010,9,18]],"date-time":"2010-09-18T20:10:34Z","timestamp":1284840634000},"page":"87-100","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Cebulla","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"The Description Logic Handbook. Theory, Implementation and Application","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Theory, Implementation and Application. Cambridge Unversity Press, Cambridge (2003)"},{"key":"8_CR2","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. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"8_CR3","volume-title":"Multistage fuzzy control","author":"J. Kacprzyk","year":"1997","unstructured":"Kacprzyk, J.: Multistage fuzzy control. Wiley, Chichester (1997)"},{"key":"8_CR4","volume-title":"Fuzzy Sets and Fuzzy Logic. Theory and Applications","author":"G.J. Klir","year":"1995","unstructured":"Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice Hall, Upper Saddle River (1995)"},{"key":"8_CR5","volume-title":"Safeware. System safety and computers","author":"N. Leveson","year":"1995","unstructured":"Leveson, N.: Safeware. System safety and computers. Addison Wesley, Reading (1995)"},{"key":"8_CR6","volume-title":"Convention: A Philosophical Study","author":"D. Lewis","year":"1969","unstructured":"Lewis, D.: Convention: A Philosophical Study. Havard Univ. Pr., Cambridge (1969)"},{"key":"8_CR7","volume-title":"Structures in fives: designing effective organizations","author":"H. Mintzberg","year":"1983","unstructured":"Mintzberg, H.: Structures in fives: designing effective organizations. Prentice Hall, Englewood Cliffs (1983)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Pepper, P., Cebulla, M., Didrich, K., Grieskamp, W.: From program languages to software languages. The Journal of Systems and Software\u00a060 (2002)","DOI":"10.1016\/S0164-1212(01)00082-6"},{"key":"8_CR9","unstructured":"Pepper, P., Frank, C., Holfelder, W., Jiang, D., Matylis, G.: Dynamic software architectures for a \u201csometimes somewhere\u201d telematics concept. Technical report, Technische Universit\u00e4t Berlin (2003)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","first-page":"27","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","author":"P. Pepper","year":"1995","unstructured":"Pepper, P., Wirsing, M.: A method for the development of correct software. In: J\u00e4hnichen, S., Broy, M. (eds.) KORSO 1995. LNCS, vol.\u00a01009, pp. 27\u201357. Springer, Heidelberg (1995)"},{"key":"8_CR11","volume-title":"Normal Accidents. Living with High-Risk Technologies","author":"C. Perrow","year":"1984","unstructured":"Perrow, C.: Normal Accidents. Living with High-Risk Technologies. Basic Books, New York (1984)"},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"J. Reason","year":"1990","unstructured":"Reason, J.: Human Error. Cambridge Univ. Pr., Cambridge (1990)"},{"key":"8_CR13","volume-title":"Software Architecture. Perspectives on an emerging discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture. Perspectives on an emerging discipline. Prentice Hall, Upper Saddle River (1996)"},{"key":"8_CR14","volume-title":"Multiagent Systems. A Theoretical Framework for Intentions, Know-how, and Communications","author":"M.P. Singh","year":"1994","unstructured":"Singh, M.P.: Multiagent Systems. A Theoretical Framework for Intentions, Know-how, and Communications. Springer, Heidelberg (1994)"},{"key":"8_CR15","volume-title":"Relevance. Communication and cognition","author":"D. Sperber","year":"1986","unstructured":"Sperber, D., Wilson, D.: Relevance. Communication and cognition. Basil Blackwell, Oxford (1986)"}],"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-30138-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:51:27Z","timestamp":1619999487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}