{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:07:30Z","timestamp":1744171650049,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_4","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"36-49","source":"Crossref","is-referenced-by-count":1,"title":["Modeling for Safety in a Synthesis-Centric Systems Engineering Framework"],"prefix":"10.1007","author":[{"given":"Jasen","family":"Markovski","sequence":"first","affiliation":[]},{"given":"J. M.","family":"van de Mortel-Fronczak","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"A systematic literature review to identify and classify software requirement errors. Information and Software Technology 51(7), 1087\u20131109 (2009)","DOI":"10.1016\/j.infsof.2009.01.004"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Akesson, K., Fabian, M., Flordal, H., Malik, R.: Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems. In: Proceedings of WODES 2006, pp. 384\u2013385. IEEE (2006)","DOI":"10.1109\/WODES.2006.382401"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0951-8320(03)00088-7","volume":"81","author":"S. Anderson","year":"2003","unstructured":"Anderson, S., Felici, M.: Safety, reliability and security of industrial computer systems. Reliability Engineering & System Safety\u00a081(3), 235\u2013238 (2003)","journal-title":"Reliability Engineering & System Safety"},{"key":"4_CR5","unstructured":"Baeten, J.C.M., van de Mortel-Fronczak, J.M., Rooda, J.E.: Integration of Supervisory Control Synthesis in Model-Based Systems Engineering. In: Proceedings of ETAI\/COSY 2011, pp. 167\u2013178. IEEE (2011)"},{"key":"4_CR6","first-page":"21","volume":"209","author":"J. Baeten","year":"2008","unstructured":"Baeten, J., van Beek, D., Cuijpers, P., Reniers, M., Rooda, J., Schiffelers, R., Theunissen, R.: Model-based engineering of embedded systems using the hybrid process algebra Chi. ENTCS\u00a0209, 21\u201353 (2008)","journal-title":"ENTCS"},{"issue":"4","key":"4_CR7","first-page":"13","volume":"164","author":"N. Braspenning","year":"2006","unstructured":"Braspenning, N., van de Mortel-Fronczak, J., Rooda, J.: A model-based integration and testing method to reduce system development effort. ENTCS\u00a0164(4), 13\u201328 (2006)","journal-title":"ENTCS"},{"key":"4_CR8","unstructured":"Cassandras, C., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers (2004)"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0951-8320(03)00059-0","volume":"82","author":"S. Cha","year":"2003","unstructured":"Cha, S., Son, H., Yoo, J., Jee, E., Seong, P.H.: Systematic evaluation of fault trees using real-time model checker UPPAAL. Reliability Engineering & System Safety\u00a082(1), 11\u201320 (2003)","journal-title":"Reliability Engineering & System Safety"},{"key":"4_CR10","unstructured":"Darondeau, P., Dubreil, J., Marchand, H.: Supervisory control for modal specifications of services. In: Proceedings of WODES 2010, pp. 428\u2013435. IFAC (2010)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N.R., Braberman, V., Piterman, N., Uchitel, S.: Synthesis of live behaviour models. In: Proceedings of SIGSOFT 2010, pp. 77\u201386. ACM (2010)","DOI":"10.1145\/1882291.1882305"},{"key":"4_CR12","unstructured":"Estefan, J.: Survey of Model-Based Systems Engineering (MBSE) methodologies. Tech. rep., INCOSE (2008), http:\/\/www.incose.org"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Feng, L., Wonham, W.M.: TCT: A computation tool for supervisory control synthesis. In: Proceedings of WODES 2006, pp. 388\u2013389. IEEE (2006)","DOI":"10.1109\/WODES.2006.382399"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Forschelen, S.T.J., Mortel-Fronczak, J.M., Su, R., Rooda, J.E.: Application of supervisory control theory to theme park vehicles. Discrete Event Dynamic Systems, 1\u201330 (to appear, 2012)","DOI":"10.1007\/s10626-012-0130-6"},{"key":"4_CR15","unstructured":"Groote, J.F., Mathijssen, A.H.J., Reniers, M.A., Usenko, Y.S., van Weerdenburg, M.J.: Analysis of distributed systems with mCRL2. In: Process Algebra for Parallel and Distributed Processing, pp. 99\u2013128. Chapman & Hall (2009)"},{"key":"4_CR16","unstructured":"Hinchey, M., Bowen, J.: Applications of Formal Methods. International Series in Computer Science. Prentice Hall (1995)"},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.ress.2005.11.060","volume":"92","author":"F. Iwu","year":"2007","unstructured":"Iwu, F., Galloway, A., McDermid, J., Toyn, I.: Integrating safety and formal analyses using UML and PFS. Reliability Engineering & System Safety\u00a092(2), 156\u2013170 (2007)","journal-title":"Reliability Engineering & System Safety"},{"issue":"6","key":"4_CR18","doi-asserted-by":"publisher","first-page":"2079","DOI":"10.1137\/S0363012902409982","volume":"44","author":"S. Jiang","year":"2006","unstructured":"Jiang, S., Kumar, R.: Supervisory control of discrete event systems with CTL* temporal logic specifications. SIAM Journal on Control and Optimization\u00a044(6), 2079\u20132103 (2006)","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"12","key":"4_CR19","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2009.391","volume":"42","author":"T. Kelly","year":"2009","unstructured":"Kelly, T., Wang, Y., Lafortune, S., Mahlke, S.: Eliminating concurrency bugs with control engineering. Computer\u00a042(12), 52\u201360 (2009)","journal-title":"Computer"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/j.ress.2004.06.005","volume":"87","author":"T. Kim","year":"2005","unstructured":"Kim, T., Stringer-Calvert, D., Cha, S.: Formal verification of functional properties of a SCR-style software requirements specification using PVS. Reliability Engineering & System Safety\u00a087(3), 351\u2013363 (2005)","journal-title":"Reliability Engineering & System Safety"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lahtinen, J., Valkonen, J., Bjorkman, K., Frits, J., Niemela, I., Heljanko, K.: Model checking of safety-critical software in the nuclear engineering domain. Reliability Engineering & System Safety (to appear, 2012)","DOI":"10.1016\/j.ress.2012.03.021"},{"issue":"1-2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"6","key":"4_CR23","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/52.60589","volume":"7","author":"N. Leveson","year":"1990","unstructured":"Leveson, N.: The challenge of building process-control software. IEEE Software\u00a07(6), 55\u201362 (1990)","journal-title":"IEEE Software"},{"key":"4_CR24","unstructured":"Ma, C., Wonham, W.M.: Nonblocking Supervisory Control of State Tree Structures. LNCIS, vol.\u00a0317. Springer (2005)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Markovski, J.: Towards supervisory control of Interactive Markov chains: Controllability. In: Proceedings of ACSD 2011, pp. 108\u2013117. IEEE (2011)","DOI":"10.1109\/ACSD.2011.18"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Markovski, J., van Beek, D.A., Theunissen, R.J.M., Jacobs, K.G.M., Rooda, J.E.: A state-based framework for supervisory control synthesis and verification. In: Proceedings of CDC 2010, pp. 3481\u20133486. IEEE (2010)","DOI":"10.1109\/CDC.2010.5717095"},{"key":"4_CR27","unstructured":"Markovski, J., Jacobs, K.G.M., van Beek, D.A., Somers, L.J.A.M., Rooda, J.E.: Coordination of resources using generalized state-based requirements. In: Proceedings of WODES 2010, pp. 300\u2013305. IFAC (2010)"},{"key":"4_CR28","unstructured":"Markovski, J., Reniers, M.A.: Verifying performance of supervised plants. In: Proceedings of ACSD 2012. IEEE (to appear, 2012)"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Mertke, T., Menzel, T.: Methods and tools to the verification of safety-related control software. In: Proceedings of SMC 2000, vol.\u00a04, pp. 2455\u20132457 (2000)","DOI":"10.1109\/ICSMC.2000.884360"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Miremadi, S., Akesson, K., Lennartson, B.: Extraction and representation of a supervisor using guards in extended finite automata. In: Proceedings of WODES 2008, pp. 193\u2013199. IEEE (2008)","DOI":"10.1109\/WODES.2008.4605944"},{"issue":"1","key":"4_CR31","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete-event processes. SIAM Journal on Control and Optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"4_CR32","unstructured":"RTCA Inc. and EUROCAE: DO-178B: Software considerations in airborne systems and equipments certification (1992)"},{"issue":"6","key":"4_CR33","first-page":"1","volume":"47","author":"A. Schauf","year":"2011","unstructured":"Schauf, A.: Safety implications of software in safety-critical devices. Journal of System Safety\u00a047(6), 1\u20135 (2011)","journal-title":"Journal of System Safety"},{"key":"4_CR34","first-page":"1","volume":"21","author":"R.R.H. Schiffelers","year":"2009","unstructured":"Schiffelers, R.R.H., Theunissen, R.J.M., van Beek, D.A., Rooda, J.E.: Model-based engineering of supervisory controllers using CIF. Electronic Communications of the EASST\u00a021, 1\u201310 (2009)","journal-title":"Electronic Communications of the EASST"},{"issue":"3","key":"4_CR35","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1109\/TASE.2006.881904","volume":"4","author":"K.T. Seow","year":"2007","unstructured":"Seow, K.T.: Integrating temporal logic as a state-based specification language for discrete-event control design in finite automata. IEEE Transactions on Automation Science and Engineering\u00a04(3), 451\u2013464 (2007)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"7","key":"4_CR36","doi-asserted-by":"publisher","first-page":"1627","DOI":"10.1109\/TAC.2010.2042342","volume":"55","author":"R. Su","year":"2010","unstructured":"Su, R., van Schuppen, J.H., Rooda, J.: Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Transactions on Automatic Control\u00a055(7), 1627\u20131640 (2010)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Theunissen, R.J.M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.R.: Supervisory control synthesis for a patient support system. In: Proceedings of ECC 2009, pp. 1\u20136. EUCA (2009)","DOI":"10.23919\/ECC.2009.7075134"},{"key":"4_CR38","unstructured":"UK Ministry of Defence: Defence standard 00-55 \u2013 The procurement of safety critical software in defence equipment (1997)"},{"issue":"2","key":"4_CR39","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/1067915.1067920","volume":"4","author":"R. Ziller","year":"2005","unstructured":"Ziller, R., Schneider, K.: Combining supervisor synthesis and model checking. ACM Transactions on Embedded Computing Systems\u00a04(2), 331\u2013362 (2005)","journal-title":"ACM Transactions on Embedded Computing Systems"}],"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-642-33675-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T04:30:52Z","timestamp":1744086652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}