{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:55:44Z","timestamp":1762271744993},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396977"},{"type":"electronic","value":"9783642396984"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39698-4_12","type":"book-chapter","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T17:03:05Z","timestamp":1374685385000},"page":"196-212","source":"Crossref","is-referenced-by-count":37,"title":["Proving Safety of Traffic Manoeuvres on Country Roads"],"prefix":"10.1007","author":[{"given":"Martin","family":"Hilscher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Linker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/978-3-642-24559-6_28","volume-title":"Formal Methods and Software Engineering","author":"M. Hilscher","year":"2011","unstructured":"Hilscher, M., Linker, S., Olderog, E.-R., Ravn, A.P.: An abstract model for proving safety of multi-lane traffic manoeuvres. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 404\u2013419. Springer, Heidelberg (2011)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. Computer\u00a018, 10\u201319 (1985)","journal-title":"Computer"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C. Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C., Ravn, A.: A calculus of durations. Information Processing Letters\u00a040, 269\u2013276 (1991)","journal-title":"Information Processing Letters"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.ic.2006.08.005","volume":"205","author":"A. Sch\u00e4fer","year":"2007","unstructured":"Sch\u00e4fer, A.: Axiomatisation and decidability of multi-dimensional duration calculus. Information and Computation\u00a0205, 25\u201364 (2007)","journal-title":"Information and Computation"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/9.664155","volume":"43","author":"J. Lygeros","year":"1998","unstructured":"Lygeros, J., Godbole, D.N., Sastry, S.S.: Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control\u00a043, 522\u2013539 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Werling, M., Gindele, T., Jagszent, D., Gr\u00f6ll, L.: A robust algorithm for handling traffic in urban scenarios. In: Proc. IEEE Intelligent Vehicles Symposium, Eindhoven, The Netherlands, pp. 168\u2013173 (2008)","DOI":"10.1109\/IVS.2008.4621260"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1013339920783","volume":"12","author":"T. Moor","year":"2002","unstructured":"Moor, T., Raisch, J., O\u2019Young, S.: Discrete supervisory control of hybrid systems based on l-complete approximations. Discrete Event Dynamic Systems\u00a012, 83\u2013107 (2002)","journal-title":"Discrete Event Dynamic Systems"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1109\/TAC.2006.876952","volume":"51","author":"L.C.G.J.M. Habets","year":"2006","unstructured":"Habets, L.C.G.J.M., Collins, P., van Schuppen, J.: Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control\u00a051, 938\u2013948 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.R.: Verification of cooperating traffic agents. International Journal of Control\u00a079, 395\u2013421 (2006)","journal-title":"International Journal of Control"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-58468-4_171","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. He","year":"1994","unstructured":"He, J., et al.: Provably correct systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994. LNCS, vol.\u00a0863, pp. 288\u2013335. Springer, Heidelberg (1994)"},{"key":"12_CR11","unstructured":"Woodcock, J., Davies, J.: Using Z \u2013 Specification, Refinement, and Proof. Prentice Hall (1996)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS\u00a0126, 183\u2013235 (1994)","journal-title":"TCS"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. CACM\u00a021, 666\u2013677 (1978)","journal-title":"CACM"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-642-39718-9_14","volume-title":"ICTAC 2013","author":"S. Linker","year":"2013","unstructured":"Linker, S., Hilscher, M.: Proof theory of a multi-lane spatial logic. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) ICTAC 2013. LNCS, vol.\u00a08049, pp. 231\u2013248. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Theories of Programming and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39698-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T03:13:59Z","timestamp":1557976439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39698-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396977","9783642396984"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39698-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}