{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:57:04Z","timestamp":1743011824399,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122137"},{"type":"electronic","value":"9783319122144"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12214-4_2","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T01:48:44Z","timestamp":1411523324000},"page":"14-27","source":"Crossref","is-referenced-by-count":1,"title":["On Efficiently Specifying Models for Model Checking"],"prefix":"10.1007","author":[{"given":"Mykhaylo","family":"Nykolaychuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lipaczewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tino","family":"Liebusch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"2_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C-27","author":"Akers","year":"1978","unstructured":"Akers, S.: Binary Decision Diagrams. IEEE Transactions on Computers\u00a0C-27(6) , 509\u2013516 (1978)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.O., Vernadat, F.: The Tool TINA - Construction of abstract state spaces for Petri Nets and Time Petri Nets. International Journal of Production Research\u00a042, 2741\u20132756 (2004)","journal-title":"International Journal of Production Research"},{"key":"2_CR3","unstructured":"B\u00f6de, E., Peikenkamp, T., Rakow, J., Wischmeyer, S.: Model based importance analysis for minimal cut sets. Reports of SFB\/TR 14 AVACS\u00a029, SFB\/TR 14 AVACS, ISSN: 1860-9821 (April 2008)"},{"key":"2_CR4","unstructured":"Boniol, F., Wiels, V.: Landing gear system (2013), \n                    \n                      http:\/\/www.irit.fr\/ABZ2014\/landing_system.pdf\n                    \n                    \n                   (accessed on August 5, 2014)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: The FSAP\/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 49\u201362. Springer, Heidelberg (2003)"},{"key":"2_CR6","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Model-based codesign of critical embedded systems. In: Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), vol.\u00a0507, pp. 87\u201391. CEUR Workshop Proceedings (2009)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability, and performance analysis of extended AADL models. The Computer Journal (2010)","DOI":"10.1093\/comjnl\/bxq024"},{"key":"2_CR8","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (2008)"},{"key":"2_CR9","unstructured":"Farail, P., Gaufillet, P., Peres, F., Bodeveix, J.P., Filali, M., Berthomieu, B., Rodrigo, S., Vernadat, F., Garavel, H., Lang, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: European Congress on Embedded Real-Time Software (ERTS 2008). SEE (January 2008), \n                    \n                      http:\/\/www.see.asso.fr"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Fernandez, J.C., Garavel, H., Kerbrat, A., Mounier, L., Mateescu, R., Sighireanu, M.: CADP - a protocol validation and verification toolbox (1996)","DOI":"10.1007\/3-540-61474-5_97"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-29320-7_8","volume-title":"Fundamentals of Software Engineering","author":"J.F. Groote","year":"2012","unstructured":"Groote, J.F., Kouters, T.W.D.M., Osaiweran, A.: Specification guidelines to avoid the state space explosion problem. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol.\u00a07141, pp. 112\u2013127. Springer, Heidelberg (2012)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Grunske, L., Colvin, R., Winter, K.: Probabilistic model-checking support for FMEA. In: Proceedings of the 4th International Conference on Quantitative Evaluation of Systems (QEST 2007). IEEE (2007)","DOI":"10.1109\/QEST.2007.18"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F.: A framework for qualitative and quantitative model-based safety analysis. In: Proceedings of the 12th High Assurance System Engineering Symposium (HASE 2010), pp. 132\u2013141 (2010)","DOI":"10.1109\/HASE.2010.24"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-75101-4_44","volume-title":"Computer Safety, Reliability, and Security","author":"M. G\u00fcdemann","year":"2007","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Using deductive cause-consequence analysis (DCCA) with SCADE. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 465\u2013478. Springer, Heidelberg (2007)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Lipaczewski, M., Struck, S., Ortmeier, F.: Using tool-supported model based safety analysis - progress and experiences in SAML development. In: Winter, V., Gandhi, R., Parakh, A. (eds.) IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012 (2012)","DOI":"10.1109\/HASE.2012.34"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Ortmeier, F., Reif, W.: Safety optimization: A combination of fault tree analysis and optimization techniques. In: Proceedings of the Conference on Dependable Systems and Networks (DSN 2004). IEEE Computer Society Press, Florence (2004)","DOI":"10.1109\/DSN.2004.1311935"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-27863-4_26","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"F. Ortmeier","year":"2004","unstructured":"Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining formal methods and safety analysis \u2013 the ForMoSA approach. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 474\u2013493. Springer, Heidelberg (2004)"},{"key":"2_CR18","unstructured":"Ortmeier, F., G\u00fcdemann, M., Reif, W.: Formal failure models. In: Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007). Elsevier (2007)"},{"key":"2_CR19","unstructured":"\u00c5kerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Luedtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, A framework for integrated safety analysis of functional, geometrical and human aspects. In: Proceedings of 2nd European Congress on Embedded Real Time Software, ERTS 2006 (2006)"},{"key":"2_CR20","unstructured":"SAE-AS5506: Architecture analysis and design language, AADL (2004)"},{"key":"2_CR21","unstructured":"SAE-AS5506\/1: Architecture analysis and design language (AADL) Annex E: Error Model Annex (2006)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 429\u2013528. Springer, Heidelberg (1998)"},{"key":"2_CR23","unstructured":"Vernadat, F., Percebois, C., Farail, P., Vingerhoeds, R., Rossignol, A., Talpin, J.P., Chemouil, D.: The TOPCASED project - a toolkit in open-source for critical applications and system development. In: Data Systems in Aerospace (DASIA), European Space Agency. ESA Publications (2006)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12214-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:30:48Z","timestamp":1558985448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12214-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122137","9783319122144"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12214-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}