{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T13:19:48Z","timestamp":1726147188822},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_11","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T07:33:16Z","timestamp":1308382396000},"page":"118-132","source":"Crossref","is-referenced-by-count":17,"title":["Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems"],"prefix":"10.1007","author":[{"given":"Anne E.","family":"Haxthausen","sequence":"first","affiliation":[]},{"given":"Andreas A.","family":"Kj\u00e6r","sequence":"additional","affiliation":[]},{"given":"Marie","family":"Le Bliguet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Symbolic Analysis Laboratory, SAL, home page (2001), \n                    \n                      http:\/\/sal.csl.sri.com"},{"key":"11_CR2","unstructured":"Le Bliguet, M., Kj\u00e6r, A.A.: Modelling Interlocking Systems for Railway Stations. Technical Report IMM-M.Sc.-2008-68, Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby, Master thesis supervised by Anne Haxthausen (2008), \n                    \n                      http:\/\/orbit.dtu.dk\n                    \n                    \n                   (under department records)"},{"key":"11_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"11_CR4","unstructured":"de Moura, L., Owre, S., Shankar, N.: The SAL Language Manual. Technical Report SRI-CSL-01-02, SRI International (2003), \n                    \n                      http:\/\/sal.csl.sri.com"},{"key":"11_CR5","unstructured":"Eriksen, L.E., Pedersen, B.: Simulation of Relay Interlocking Systems. Technical Report IMM-B.Sc.-2007-04, Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby (2007), Bachelor thesis supervised by Anne Haxthausen and Hubert Baumeister, \n                    \n                      http:\/\/www2.imm.dtu.dk\/pubdb\/p.php?5306"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-30138-7_4","volume-title":"Computer Safety, Reliability, and Security","author":"L.-H. Eriksson","year":"2004","unstructured":"Eriksson, L.-H.: Using Formal Methods in a Retrospective Safety Case. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 31\u201344. Springer, Heidelberg (2004)"},{"key":"11_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626975","volume-title":"Modelling Systems \u2013 Practical Tools and Techniques in Software Development","author":"J. Fitzgerald","year":"2009","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems \u2013 Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"issue":"2\u20133","key":"11_CR8","first-page":"241","volume":"3","author":"A.E. Haxthausen","year":"2009","unstructured":"Haxthausen, A.E.: Developing a Domain Model for Relay Circuits. International Journal of Software and Informatics\u00a03(2\u20133), 241\u2013272 (2009)","journal-title":"International Journal of Software and Informatics"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-21292-5_10","volume-title":"16th Monterey Workshop: Modelling, Development and Verification of Adaptive Systems: the Grand Challenge for Robust Software","author":"A.E. Haxthausen","year":"2011","unstructured":"Haxthausen, A.E.: Towards a Framework for Modelling and Verification of Relay Interlocking Systems. In: Kordon, F. (ed.) Monterey Workshops 2010. LNCS, vol.\u00a06662, pp. 176\u2013192. Springer, Heidelberg (2011)"},{"key":"11_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":"A.E. 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.\u00a06028, pp. 141\u2013153. Springer, Heidelberg (2010)"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00165-009-0143-6","volume":"23","author":"A.E. Haxthausen","year":"2011","unstructured":"Haxthausen, A.E., Peleska, J., Kinder, S.: A Formal Approach for the Construction and Verification of Railway Control Systems. Formal Aspects of Computing\u00a023(2), 191\u2013219 (2011); The article is also available electronically on SpringerLink, \n                    \n                      http:\/\/www.springerlink.com\/openurl.aspgenre=article&id=doi:10.1007\/s00165-009-0143-6","journal-title":"Formal Aspects of Computing"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45614-7_12","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"M. Huber","year":"2002","unstructured":"Huber, M., King, S.: Towards an integrated model checker for railway signalling data. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 204\u2013223. Springer, Heidelberg (2002)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-540-75221-9_16","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"C.B. Jones","year":"2007","unstructured":"Jones, C.B., Hayes, I.J., Jackson, M.A.: Deriving specifications for systems that are connected to the physical world. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol.\u00a04700, pp. 364\u2013390. Springer, Heidelberg (2007)"},{"key":"11_CR14","first-page":"257","volume-title":"Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods","author":"J.I. Perna","year":"2007","unstructured":"Perna, J.I., George, C.: Model Checking RAISE Applicative Specifications. In: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, pp. 257\u2013268. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"11_CR15","unstructured":"The RAISE Language Group. The RAISE Specification Language. The BCS Practitioners Series. Prentice Hall Int. (1992)"},{"key":"11_CR16","unstructured":"The RAISE Method Group. The RAISE Development Method. The BCS Practitioners Series. Prentice Hall Int. (1995)"},{"key":"11_CR17","volume-title":"The Algorithm Design Manual","author":"S.S. Skiena","year":"1998","unstructured":"Skiena, S.S.: Combinatorial Search and Heuristic Methods. In: The Algorithm Design Manual. Springer, Heidelberg (1998)"},{"key":"11_CR18","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Using Z: Specification, Proof and Refinement","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T02:09:13Z","timestamp":1553825353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}