{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T10:28:01Z","timestamp":1750933681460,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319278681"},{"type":"electronic","value":"9783319278698"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27869-8_22","type":"book-chapter","created":{"date-parts":[[2016,1,4]],"date-time":"2016-01-04T14:44:07Z","timestamp":1451918647000},"page":"375-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Model-in-the-Loop Testing of a Railway Interlocking System"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Scippacercola","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Pietrantuono","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Russo","sequence":"additional","affiliation":[]},{"given":"Andr\u00e1s","family":"Zentai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,5]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02546-4","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 1st edn. Morgan & Claypool Publishers, USA (2012)","edition":"1"},{"key":"22_CR2","unstructured":"OMG: MDA Guide (2003) Version 1.0.1. http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"22_CR3","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"P Baker","year":"2008","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Haugen, \u00d8., Schieferdecker, I., Williams, C.: Model-Driven Testing: Using the UML Testing Profile, 1st edn. Springer, Heidelberg (2008)","edition":"1"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Scippacercola, F., Pietrantuono, R., Russo, S., Zentai, A.: Model-driven engineering of a railway interlocking system. In: Proceedings of MODELSWARD 2015, 3rd International Conference on Model-Driven Engineering and Software Development, SCITEPRESS, pp. 509\u2013519 (2015)","DOI":"10.1007\/978-3-319-27869-8_22"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-540-69100-6_31","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"P Mohagheghi","year":"2008","unstructured":"Mohagheghi, P., Dehlen, V.: Where is the proof? - a review of experiences from applying MDE in industry. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 432\u2013443. Springer, Heidelberg (2008)"},{"issue":"7","key":"22_CR6","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.scico.2012.04.003","volume":"78","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The Metr\u00f4 Rio case study. Sci. Comput. Program. 78(7), 828\u2013842 (2013)","journal-title":"Sci. Comput. Program."},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-87875-9_9","volume-title":"Model Driven Engineering Languages and Systems","author":"A Svendsen","year":"2008","unstructured":"Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E.J., Alme, K.-J., Haugen, \u00d8.: The future of train signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 128\u2013142. Springer, Heidelberg (2008)"},{"issue":"6","key":"22_CR8","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1007\/s10009-014-0320-7","volume":"16","author":"S Marrone","year":"2014","unstructured":"Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6), 669\u2013683 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"22_CR9","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1646353.1646372","volume":"53","author":"SP Miller","year":"2010","unstructured":"Miller, S.P., Whalen, M.W., Cofer, D.D.: Software model checking takes off. Commun. ACM 53(2), 58\u201364 (2010)","journal-title":"Commun. ACM"},{"key":"22_CR10","unstructured":"Esterel Technologies: SCADE Suite Product Description (2014). http:\/\/www.esterel-technologies.com"},{"key":"22_CR11","unstructured":"Lawrence, A., Seisenberger, M.: Verification of railway interlockings in SCADE. MRes Thesis, Swansea University (2011)"},{"key":"22_CR12","unstructured":"Invensys Rail: Invensys Rail Discovers Agile Development Process with SCADE Suite (2014). http:\/\/www.esterel-technologies.com\/success-stories\/invensys-rail\/"},{"issue":"6","key":"22_CR13","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.infsof.2012.01.005","volume":"54","author":"S Nejati","year":"2012","unstructured":"Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L., Coq, T.: A SysML-based approach to traceability management and design slicing in support of safety certification: framework, tool support, and case studies. Inf. Softw. Technol. 54(6), 569\u2013590 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Panesar-Walawege, R., Sabetzadeh, M., Briand, L.: A model-driven engineering approach to support the verification of compliance to safety standards. In: Proceedings of ISSRE 2011, IEEE 22nd International Symposium on Software Reliability Engineering, pp. 30\u201339 (2011)","DOI":"10.1109\/ISSRE.2011.11"},{"issue":"4","key":"22_CR15","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MC.2009.125","volume":"42","author":"H Shokry","year":"2009","unstructured":"Shokry, H., Hinchey, M.: Model-based verification of embedded software. Computer 42(4), 53\u201359 (2009)","journal-title":"Computer"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Scala, S., Tramontana, P.: Towards automatic model-in-the-loop testing of electronic vehicle information centers. In: Proceedings of WISE \u201914, International Workshop on Long-term Industrial Collaboration on Software Engineering, pp. 9\u201312. ACM (2014)","DOI":"10.1145\/2647648.2656427"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-39742-4_12","volume-title":"Search Based Software Engineering","author":"R Matinnejad","year":"2013","unstructured":"Matinnejad, R., Nejati, S., Briand, L., Bruckmann, T., Poull, C.: Automated model-in-the-loop testing of continuous controllers using search. In: Ruhe, G., Zhang, Y. (eds.) SSBSE 2013. LNCS, vol. 8084, pp. 141\u2013157. Springer, Heidelberg (2013)"},{"key":"22_CR18","unstructured":"IBM Corp.: Rational Rhapsody Developer (2014). http:\/\/www-03.ibm.com\/software\/products\/it\/ratirhap"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27869-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T10:50:33Z","timestamp":1692183033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27869-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319278681","9783319278698"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27869-8_22","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"5 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}