{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T22:49:39Z","timestamp":1770331779095,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642340314","type":"print"},{"value":"9783642340321","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_19","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T20:44:41Z","timestamp":1348605881000},"page":"187-189","source":"Crossref","is-referenced-by-count":10,"title":["Formal Methods for Intelligent Transportation Systems"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Flammini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Bonnefoi, F., Hillah, L.M., Kordon, F., Renault, X.: Design, modeling and analysis of ITS using UML and Petri Nets. In: IEEE Intelligent Transportation Systems Conference (ITSC 2007), pp. 314\u2013319 (2007)","DOI":"10.1109\/ITSC.2007.4357718"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Cascetta, E.: Transportation Systems Engineering: Theory and Methods. Kluwer Academic Publishers (2001)","DOI":"10.1007\/978-1-4757-6873-2"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Flammini, F.: Railway Safety, Reliability, and Security: Technologies and Systems Engineering. IGI Global (2012)","DOI":"10.4018\/978-1-4666-1643-1"},{"key":"19_CR4","unstructured":"IEEE Intelligent Transportation Systems Society home-page, \n                    \n                      http:\/\/sites.ieee.org\/itss\/\n                    \n                    \n                   (last access June 2012)"},{"key":"19_CR5","unstructured":"International Journal of Intelligent Transportation Systems Research, \n                    \n                      http:\/\/www.springer.com\/engineering\/electronics\/journal\/13177"},{"key":"19_CR6","series-title":"LNCS","first-page":"190","volume-title":"ISoLA 2012, Part II","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, pp. 190\u2013204. Springer, Heidelberg (2012)"},{"key":"19_CR7","series-title":"LNCS","first-page":"205","volume-title":"ISoLA 2012, Part II","author":"G. Gigante","year":"2012","unstructured":"Gigante, G., Pascarella, D.: Formal Methods in Avionic Software Certification: The DO-178C Perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 205\u2013215. Springer, Heidelberg (2012)"},{"key":"19_CR8","series-title":"LNCS","first-page":"216","volume-title":"ISoLA 2012, Part II","author":"A. Ferrari","year":"2012","unstructured":"Ferrari, A., Spagnolo, G.O., Martelli, G., Menabeni, S.: Product Line Engineering Applied to CBTC Systems Development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 216\u2013230. Springer, Heidelberg (2012)"},{"key":"19_CR9","series-title":"LNCS","first-page":"231","volume-title":"ISoLA 2012, Part II","author":"S. Marrone","year":"2012","unstructured":"Marrone, S., Nardone, R., Orazzo, A., Petrone, I., Velardi, L.: Improving Verification Process in Driverless Metro Systems: The MBAT Project. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 231\u2013245. Springer, Heidelberg (2012)"},{"key":"19_CR10","series-title":"LNCS","first-page":"246","volume-title":"ISoLA 2012, Part II","author":"K. Winter","year":"2012","unstructured":"Winter, K.: Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 246\u2013261. Springer, Heidelberg (2012)"},{"key":"19_CR11","series-title":"LNCS","first-page":"262","volume-title":"ISoLA 2012, Part II","author":"A.E. Haxthausen","year":"2012","unstructured":"Haxthausen, A.E.: Automated Generation of Safety Requirements from Railway Interlocking Tables. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 262\u2013276. Springer, Heidelberg (2012)"},{"key":"19_CR12","series-title":"LNCS","first-page":"277","volume-title":"ISoLA 2012, Part II","author":"A. Fantechi","year":"2012","unstructured":"Fantechi, A.: Distributing the Challenge of Model Checking Interlocking Control Tables. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 277\u2013290. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:36Z","timestamp":1620117696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}