{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:58:07Z","timestamp":1725803887578},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319107011"},{"type":"electronic","value":"9783319107028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10702-8_8","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T08:19:16Z","timestamp":1409559556000},"page":"109-123","source":"Crossref","is-referenced-by-count":15,"title":["Deadlock Avoidance in Train Scheduling: A Model Checking Approach"],"prefix":"10.1007","author":[{"given":"Franco","family":"Mazzanti","sequence":"first","affiliation":[]},{"given":"Giorgio Oronzo","family":"Spagnolo","sequence":"additional","affiliation":[]},{"given":"Simone","family":"Della Longa","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Ferrari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Ferrari, A., Spagnolo, G.O., Martelli, G., Menabeni, S.: From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions. Int. Journal on STTT, 1\u201321 (2014)","key":"8_CR1","DOI":"10.1007\/s10009-013-0298-6"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-319-06200-6_22","volume-title":"NASA Formal Methods","author":"F. Mazzanti","year":"2014","unstructured":"Mazzanti, F., Spagnolo, G.O., Ferrari, A.: Designing a deadlock-free train scheduler: A model checking approach. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol.\u00a08430, pp. 264\u2013269. Springer, Heidelberg (2014)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-20401-2_18","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"S. Gnesi","year":"2011","unstructured":"Gnesi, S., Mazzanti, F.: An abstract, on the fly framework for the verification of service-oriented systems. In: Wirsing, M., H\u00f6lzl, M. (eds.) Sensoria Project. LNCS, vol.\u00a06582, pp. 390\u2013407. Springer, Heidelberg (2011)"},{"unstructured":"OMG: Object Management Group, UML Superstructure Specification (2006), http:\/\/www.omg.org\/spec\/UML\/2.4.1","key":"8_CR4"},{"doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Mazzanti, F., Gnesi, S.: CMC-UMC: A Framework for the Verification of abstract Service-Oriented Properties. In: Proceedings of the 2009 ACM Symposium on Applied Computing, pp. 2111\u20132117. ACM (2009)","key":"8_CR5","DOI":"10.1145\/1529282.1529751"},{"doi-asserted-by":"crossref","unstructured":"Petersen, E., Taylor, A.: Line Block Prevention in Rail Line Dispatch and Simulation Models. INFOR Journal\u00a0(21), 46\u201351 (1983)","key":"8_CR6","DOI":"10.1080\/03155986.1983.11731883"},{"unstructured":"Cui, Y.: Simulation-based hybrid model for a partially-automatic dispatching of railway operation. Ph.D. Thesis Universitat Stuttgart (2009)","key":"8_CR7"},{"unstructured":"Mills, R., Pudney, P.: The effects of deadlock avoidance on rail network capacity and performance. In: Hewitt, J. (ed.) MISG: Mathematics in Industry Study Group (2003)","key":"8_CR8"},{"unstructured":"Pachl, J.: Avoiding deadlocks in synchronous railway simulations. In: International Seminar on Railway Operations Modelling and Analysis, pp. 359\u2013369 (2007)","key":"8_CR9"},{"unstructured":"Pachl, J.: Deadlock avoidance in railroad operations simulations. In: PROMET Traffic & Transportation. Number 11-0175, pp. 359\u2013369 (2012)","key":"8_CR10"},{"issue":"5","key":"8_CR11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.7307\/ptt.v24i5.1171","volume":"24","author":"R. Mittermayr","year":"2012","unstructured":"Mittermayr, R., Blieberger, J., Sch\u00f6bel, A.: Kronecker Algebra based Deadlock Analysis for Railway Systems. PROMET - Traffic & Transportation\u00a024(5), 359\u2013369 (2012)","journal-title":"PROMET - Traffic & Transportation"},{"unstructured":"T\u00f6rnquist, J.: Computer-based decision support for railway traffic scheduling and dispatching: A review of models and algorithms. In: 5th Workshop on Algorithmic Methods and Models for Optimization of Railways, p. 659 (2006)","key":"8_CR12"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10702-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,15]],"date-time":"2022-04-15T21:59:40Z","timestamp":1650059980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10702-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319107011","9783319107028"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10702-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}