{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:55:04Z","timestamp":1725803704299},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_18","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T12:12:24Z","timestamp":1409141544000},"page":"147-156","source":"Crossref","is-referenced-by-count":11,"title":["An Interoperable Testing Environment for ERTMS\/ETCS Control Systems"],"prefix":"10.1007","author":[{"given":"Gregorio","family":"Barberio","sequence":"first","affiliation":[]},{"given":"Beniamino","family":"Di Martino","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Velardi","sequence":"additional","affiliation":[]},{"given":"Aniello","family":"Amato","sequence":"additional","affiliation":[]},{"given":"Renato","family":"De Guglielmo","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"Gentile","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[]},{"given":"Adriano","family":"Peron","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"CESAR: Cost-Efficient methods and proceses for SAfety Relevant embedded systems, http:\/\/www.cesarproject.eu\/"},{"key":"18_CR2","unstructured":"CRYSTAL: CRitical sYSTem engineering AcceLeration, http:\/\/www.crystal-artemis.eu\/"},{"key":"18_CR3","unstructured":"iFEST: industrial Framework for Embedded Systems Tools, http:\/\/www.artemis-ifest.eu\/"},{"key":"18_CR4","unstructured":"MBAT: Combined Model-based Analysis and Testing of Embedded Systems, http:\/\/www.mbat-artemis.eu\/"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-48523-6_14","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1999","unstructured":"Alur, R., Kannan, S., Yannakakis, M.: Communicating hierarchical state machines. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, pp. 169\u2013178. Springer, Heidelberg (1999)"},{"key":"18_CR6","unstructured":"CENELEC. Cenelec, en 50128: Railway applications - communication, signalling and processing systems - software for railway control and protection systems (2011)"},{"key":"18_CR7","unstructured":"CENELEC. Cenelec, en 50126: Railway applications - demonstration of reliability, availability, maintainability and safety (rams) - part 1: Generic rams process (2012)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"2000","DOI":"10.1007\/s100090050046","volume":"2","author":"A. Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: Nusmv: a new symbolic model checker. International Journal on Software Tools for Technology Transfer\u00a02 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"Proceedings of the 21st International Conference on Software Engineering, ICSE 1999","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411\u2013420. ACM, New York (1999)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-34032-1_20","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"F. Flammini","year":"2012","unstructured":"Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V.: Model-driven V&V processes for computer based control systems: A unifying perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 190\u2013204. Springer, Heidelberg (2012)"},{"issue":"6","key":"18_CR11","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/318774.318939","volume":"24","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. SIGSOFT Softw. Eng. Notes\u00a024(6), 146\u2013162 (1999)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"18_CR12","unstructured":"Holzmann, G.: Spin Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards model-driven v&v assessment of railway control systems. International Journal on Software Tools for Technology Transfer, 1\u201315 (2014)","DOI":"10.1007\/s10009-014-0320-7"},{"key":"18_CR15","first-page":"12","volume":"14","author":"H. Pfl\u00fcgl","year":"2013","unstructured":"Pfl\u00fcgl, H., El-Salloum, C., Kundner, I.: CRYSTAL, CRitical sYSTem engineering AcceLeration, a Truly European Dimension. ARTEMIS Magazine\u00a014, 12\u201315 (2013)","journal-title":"ARTEMIS Magazine"},{"key":"18_CR16","unstructured":"UIC. ERTMS\/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2 (2002)"}],"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-319-10557-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,15]],"date-time":"2022-04-15T17:59:21Z","timestamp":1650045561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}