{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:40:02Z","timestamp":1744206002400,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_23","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:44:41Z","timestamp":1348620281000},"page":"231-245","source":"Crossref","is-referenced-by-count":5,"title":["Improving Verification Process in Driverless Metro Systems: The MBAT Project"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Marrone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Orazzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ida","family":"Petrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Velardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Sch\u00e4tz, B., Pretschner, A., Huber, F., Philipps, J.: Model-based development. Technical Report TUM-I0204, Institut f\u00fcr Informatik, Technische Universitat Munchen (2002)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Sch\u00e4tz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. In: Proceedings of Advances in Object-Oriented Information Systems, OOIS (2002)","DOI":"10.1007\/3-540-46105-1_34"},{"key":"23_CR3","unstructured":"Bender, K., Broy, M., P\u00e9ter, I., Pretschner, A., Stauner, T.: Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation. In: Modelling, Analysis, and Design of Hybrid Systems (2002)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Ziegenbein, D., Braun, P., Freund, U., Bauer, A., Romberg, J., Schatz, B.: AutoMoDe - model-based development of automotive software. In: Proceedings of Design, Automation and Test in Europe, pp. 171\u2013176 (2005)","DOI":"10.1109\/DATE.2005.77"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-24270-0_28","volume-title":"Computer Safety, Reliability, and Security","author":"A. Fantechi","year":"2011","unstructured":"Fantechi, A., Gnesi, S.: On the Adoption of Model Checking in Safety-Related Software Industry. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 383\u2013396. Springer, Heidelberg (2011)"},{"key":"23_CR6","unstructured":"http:\/\/www.esterel-technologies.com\/products\/"},{"key":"23_CR7","unstructured":"St\u00e5lhane, T., Omoronyia, I., Reichenbach, F.: Ontology-Guided Requirements and Safety Analysis. In: Proc. 6th International Conference on Safety of Industrial Automated Systems, SIAS (2010)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-14192-8_18","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"I. Omoronyia","year":"2010","unstructured":"Omoronyia, I., Sindre, G., St\u00e5lhane, T., Biffl, S., Moser, T., Sunindyo, W.: A Domain Ontology Building Process for Guiding Requirements Elicitation. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol.\u00a06182, pp. 188\u2013202. Springer, Heidelberg (2010)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Farfeleder, S., Moser, T., Krall, A., St\u00e5lhane, T., Zojer, H., Panis, C.: DODT: Increasing Requirements Formalism using Domain Ontologies for Improved Embedded System Development. In: 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Germany (2011)","DOI":"10.1109\/DDECS.2011.5783092"},{"key":"23_CR10","unstructured":"di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A.: Hazard Analysis of Complex Distributed Railway Systems. In: Proc. of International Symposium on Reliable Distributed Systems, SRDS 2003, Florence, Italy, pp. 283\u2013292 (2003)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-30138-7_11","volume-title":"Computer Safety, Reliability, and Security","author":"G. Nicola De","year":"2004","unstructured":"De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Orazzo, A.: A Hybrid Testing Methodology for Railway Control Systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 116\u2013129. Springer, Heidelberg (2004)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/11408901_23","volume-title":"Dependable Computing - EDCC 2005","author":"G. Nicola De","year":"2005","unstructured":"De Nicola, G., di Tommaso, P., Rosaria, E., Francesco, F., Pietro, M., Antonio, O.: A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol.\u00a03463, pp. 305\u2013317. Springer, Heidelberg (2005)"},{"key":"23_CR13","unstructured":"De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., Orazzo, A.: ERTMS\/ETCS: Working Principles and Validation. In: Proceedings of the International Conference on Ship Propulsion and Railway Traction Systems, SPRTS 2005, Bologna, Italy, pp. 59\u201368 (2005)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Donini, R., Marrone, S., Mazzocca, N., Orazzo, A., Papa, D., Venticinque, S.: Testing complex safety-critical systems in SOA context. In Proc. of the 2008 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), Barcelona, Spain (2008)","DOI":"10.1109\/CISIS.2008.78"},{"issue":"2","key":"23_CR15","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1002\/stvr.389","volume":"19","author":"F. Flammini","year":"2009","unstructured":"Flammini, F., Mazzocca, N., Orazzo, A.: Automatic instantiation of abstract tests on specific configurations for large critical control systems. Journal of Software Testing, Verification & Reliability (STVR)\u00a019(2), 91\u2013110 (2009)","journal-title":"Journal of Software Testing, Verification & Reliability (STVR)"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-24270-0_27","volume-title":"Computer Safety, Reliability, and Security","author":"G. Bonifacio","year":"2011","unstructured":"Bonifacio, G., Marmo, P., Orazzo, A., Petrone, I., Velardi, L., Venticinque, A.: Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 369\u2013382. Springer, Heidelberg (2011)"},{"key":"23_CR17","unstructured":"Institute of Electrical and Electronics Engineers. IEEE Standard for Communication Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999) (2004)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:15:56Z","timestamp":1744204556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}