{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:38:20Z","timestamp":1764873500069,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_6","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T21:02:30Z","timestamp":1502485350000},"page":"87-103","source":"Crossref","is-referenced-by-count":11,"title":["Participatory Verification of Railway Infrastructure by Representing Regulations in\u00a0RailCNL"],"prefix":"10.1007","author":[{"given":"Bj\u00f8rnar","family":"Luteberget","sequence":"first","affiliation":[]},{"given":"John J.","family":"Camilleri","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Johansen","sequence":"additional","affiliation":[]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"5","key":"6_CR1","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/j.jlap.2013.03.002","volume":"82","author":"K Angelov","year":"2013","unstructured":"Angelov, K., Camilleri, J.J., Schneider, G.: A framework for conflict analysis of normative texts written in controlled natural language. JLAP 82(5), 216\u2013240 (2013). doi: 10.1016\/j.jlap.2013.03.002","journal-title":"JLAP"},{"key":"6_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69061-0","volume-title":"Verification of Object-Oriented Software: The KeY Approach","year":"2007","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software: The KeY Approach. LNCS (LNAI), vol. 4334. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-69061-0"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-10223-8_13","volume-title":"Controlled Natural Language","author":"JJ Camilleri","year":"2014","unstructured":"Camilleri, J.J., Paganelli, G., Schneider, G.: A CNL for contract-oriented diagrams. In: Davis, B., Kaljurand, K., Kuhn, T. (eds.) CNL 2014. LNCS (LNAI), vol. 8625, pp. 135\u2013146. Springer, Cham (2014). doi: 10.1007\/978-3-319-10223-8_13"},{"key":"6_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"1","key":"6_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s11786-014-0174-0","volume":"8","author":"P James","year":"2014","unstructured":"James, P., Roggenbach, M.: Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans. Math. Comput. Sci. 8(1), 11\u201338 (2014). doi: 10.1007\/s11786-014-0174-0","journal-title":"Math. Comput. Sci."},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Johannisson, K.: Natural language specifications. In: Beckert et al. [3], pp. 317\u2013333. doi: 10.1007\/978-3-540-69061-0_7","DOI":"10.1007\/978-3-540-69061-0_7"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/A:1008689307411","volume":"7","author":"F Kensing","year":"1998","unstructured":"Kensing, F., Blomberg, J.: Participatory design: issues and concerns. Comput. Support. Coop. Work (CSCW) 7(3), 167\u2013185 (1998). doi: 10.1023\/A:1008689307411","journal-title":"Comput. Support. Coop. Work (CSCW)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121\u2013170 (2014). doi: 10.1162\/COLI_a_00168","journal-title":"Comput. Linguist."},{"key":"6_CR10","unstructured":"Ljungl\u00f6f, P.: Editing syntax trees on the surface. In: NoDaLiDa 2011, pp. 138\u2013145 (2011)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Luteberget, B., Camilleri, J.J., Johansen, C., Schneider, G.: Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Technical report 465, University of Oslo (2017)","DOI":"10.1007\/978-3-319-66197-1_6"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-017-0281-z","volume":"52","author":"Bj\u00f8rnar Luteberget","year":"2017","unstructured":"Luteberget, B., Johansen, C.: Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des., 1\u201332 (2017). doi: 10.1007\/s10703-017-0281-z","journal-title":"Formal Methods in System Design"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-319-33693-0_31","volume-title":"Integrated Formal Methods","author":"B Luteberget","year":"2016","unstructured":"Luteberget, B., Johansen, C., Steffen, M.: Rule-based consistency checking of railway infrastructure designs. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 491\u2013507. Springer, Cham (2016). doi: 10.1007\/978-3-319-33693-0_31"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-85287-2_32","volume-title":"Advances in Natural Language Processing","author":"MS Meza Moreno","year":"2008","unstructured":"Meza Moreno, M.S., Bringert, B.: Interactive multilingual web applications with grammatical framework. In: Nordstr\u00f6m, B., Ranta, A. (eds.) GoTAL 2008. LNCS (LNAI), vol. 5221, pp. 336\u2013347. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85287-2_32"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.jlap.2012.03.003","volume":"81","author":"C Prisacariu","year":"2012","unstructured":"Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. J. Logic Algebr. Program. (JLAP) 81(4), 458\u2013490 (2012). doi: 10.1016\/j.jlap.2012.03.003","journal-title":"J. Logic Algebr. Program. (JLAP)"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical framework. J. Funct. Program. 14(2), 145\u2013189 (2004). doi: 10.1017\/S0956796803004738","journal-title":"J. Funct. Program."},{"key":"6_CR17","unstructured":"Ranta, A., Camilleri, J., D\u00e9trez, G., Enache, R., Hallgren, T.: Grammar tool manual and best practices. Technical report, MOLTO Deliverable D2.3, MOLTO Consortium, G\u00f6teborg (2012). http:\/\/www.molto-project.eu\/biblio\/deliverable\/grammar-tools-and-best-practices"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-31175-8_7","volume-title":"Controlled Natural Language","author":"A Ranta","year":"2012","unstructured":"Ranta, A., Enache, R., D\u00e9trez, G.: Controlled language for everyday use: the MOLTO phrasebook. In: Rosner, M., Fuchs, N.E. (eds.) CNL 2010. LNCS (LNAI), vol. 7175, pp. 115\u2013136. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31175-8_7"},{"key":"6_CR19","volume-title":"Interaction Design: Beyond Human-Computer Interaction","author":"H Sharp","year":"2007","unstructured":"Sharp, H., Rogers, Y., Preece, J.: Interaction Design: Beyond Human-Computer Interaction. Wiley, New York (2007)"},{"key":"6_CR20","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. CSPP, New York (1988)"},{"key":"6_CR21","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: A domain-specific language for railway interlocking systems. In: FORMS\/FORMAT 2014, pp. 200\u2013209. TU Braunschweig (2014)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-14418-9_17","volume-title":"Controlled Natural Language","author":"A Wyner","year":"2010","unstructured":"Wyner, A., et al.: On controlled natural languages: properties and prospects. In: Fuchs, N.E. (ed.) CNL 2009. LNCS (LNAI), vol. 5972, pp. 281\u2013289. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-14418-9_17"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T06:02:55Z","timestamp":1569996175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}