{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:00:08Z","timestamp":1740099608095,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030332228"},{"type":"electronic","value":"9783030332235"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-33223-5_28","type":"book-chapter","created":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T20:02:24Z","timestamp":1572206544000},"page":"338-351","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9698-5569","authenticated-orcid":false,"given":"Dalay Israel","family":"de Almeida\u00a0Pereira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4003-6505","authenticated-orcid":false,"given":"Sana","family":"Debbech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9726-2458","authenticated-orcid":false,"given":"Matthieu","family":"Perin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Bon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Collart-Dutilleul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,15]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"key":"28_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-030-18744-6_16","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"DI Almeida Pereira de","year":"2019","unstructured":"de Almeida Pereira, D.I., Deharbe, D., Perin, M., Bon, P.: B-specification of relay-based railway interlocking systems based on the propositional logic of the system state evolution. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 242\u2013258. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-18744-6_16"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"de Almeida Pereira, D.I., Perin, M., Bon, P., Collart-Dutilleul, S.: A framework for the formal specification of relay-based systems based on a b-method graph specification. Int. J. Comput. Electr. Eng. (IJCEE) 11(1), 11\u201319 (2019)","DOI":"10.17706\/IJCEE.2019.11.1.11-19"},{"key":"28_CR4","unstructured":"CENELEC, NF EN 50129: Applications ferroviaires: Syst\u00e8mes de signalisation, de t\u00e9l\u00e9communication et de traitement - Syst\u00e8mes \u00e9lectroniques de \u00e9curit\u00e9 pour la signalisation, Mai 2003"},{"key":"28_CR5","unstructured":"Debbech, S., Bon, P., Collart-Dutilleul, S.: Towards semantic interpretation of goal-oriented safety decisions based on foundational ontology. J. Comput. (JCP) 14(4), 257\u2013267 (2019)"},{"key":"28_CR6","unstructured":"Debbech, S., Collart-Dutilleul, S., Bon, P.: Cas d\u2019\u00e9tude de mission ferroviaire t\u00e9l\u00e9-op\u00e9r\u00e9e. Rapport de recherche, IFSTTAR - Institut Fran\u00e7ais des Sciences et Technologies des Transports, de l\u2019Am\u00e9nagement et des R\u00e9seaux, November 2018. \n                      https:\/\/hal.archives-ouvertes.fr\/hal-02020997\/l"},{"key":"28_CR7","unstructured":"Railway applications-communication, signalling and processing systems-software for railway control and protection systems. Std, European Committee for Electrotechnical Standardization (CENELEC), March 2001"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Fokkink, W., Morzenti, A.: B-specification of relay-based railway interlocking systems based on the propositional logic of the system state evolution. In: Formal Methods for Industrial Critical Systems: A Survey of Applications, pp. 61\u201384 (2013)","DOI":"10.1002\/9781118459898.ch4"},{"issue":"3\u20134","key":"28_CR9","doi-asserted-by":"publisher","first-page":"259","DOI":"10.3233\/AO-150157","volume":"10","author":"G Guizzardi","year":"2015","unstructured":"Guizzardi, G., Wagner, G., Almeida, J.P.A., Guizzardi, R.S.: Towards ontological foundations for conceptual modeling: the unified foundational ontology (UFO) story. Appl. Ontol. 10(3\u20134), 259\u2013271 (2015)","journal-title":"Appl. Ontol."},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-12566-9_8","volume-title":"Foundations of Computer Software. Future Trends and Techniques for Development","author":"AE Haxthausen","year":"2010","unstructured":"Haxthausen, A.E., Le Bliguet, M., Kj\u00e6r, A.A.: Modelling and verification of relay interlocking systems. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol. 6028, pp. 141\u2013153. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-12566-9_8"},{"key":"28_CR11","unstructured":"IEEE, 1012: IEEE Standard for System, Software, and Hardware Verification and Validation (2016)"},{"key":"28_CR12","unstructured":"IEEE, 610.12: IEEE Standard Glossary of Software Engineering Terminology (1990)"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855\u2013874. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-45236-2_46"},{"key":"28_CR14","unstructured":"Negri, P.P., Souza, V.E.S., de Castro Leal, A.L., de Almeida Falbo, R., Guizzardi, G.: Towards an ontology of goal-oriented requirements. In: CIbSE, pp. 469\u2013482 (2017)"},{"key":"28_CR15","unstructured":"R\u00e9tiveau, R.: La signalisation ferroviaire. Presse de l\u2019\u00e9cole nationale des Ponts et Chauss\u00e9es (1987)"},{"key":"28_CR16","volume-title":"The B-method: An Introduction","author":"S Schneider","year":"2001","unstructured":"Schneider, S.: The B-method: An Introduction. Palgrave, Basingstoke (2001)"},{"key":"28_CR17","unstructured":"Van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: Proceedings of 5th IEEE International Symposium on Requirements Engineering (RE 2001), pp. 249\u2013262. IEEE (2001)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-33223-5_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T20:03:25Z","timestamp":1572206605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-33223-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030332228","9783030332235"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-33223-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"15 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salvador","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.inf.ufrgs.br\/er2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}