{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T05:33:18Z","timestamp":1769923998070,"version":"3.49.0"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319480022","type":"print"},{"value":"9783319480039","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48003-9_7","type":"book-chapter","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T02:46:36Z","timestamp":1480560396000},"page":"105-117","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Systems in Physical Contexts"],"prefix":"10.1007","author":[{"given":"Jens","family":"Oehlerking","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Strathmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,2]]},"reference":[{"key":"7_CR1","unstructured":"[Chen et al. 2013] X. Chen; E. \u00c1brah\u00e1m; S. Sankaranarayanan: Flow*: An Analyzer for Non-Linear Hybrid Systems. In: N. Sharygina, H. Veith: Proceedings of the 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, pp. 258-263."},{"key":"7_CR2","unstructured":"[Donz\u00e9 2010] A. Donz\u00e9: Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In: T. Touili, B. Cook, P. Jackson: Proceedings of the 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, pp. 167-170."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"[Eggers et al. 2012] A. Eggers; N. Ramdani; N. Nedialkov; M. Fr\u00e4nzle: Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. In: Software & Systems Modeling, Vol. 14, No.1, 2012, pp. 121-148.","DOI":"10.1007\/s10270-012-0295-3"},{"key":"7_CR4","unstructured":"[Frehse et al. 2011] G. Frehse, C. Le Guernic, A. Donz\u00e9, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, O. Maler: SpaceEx: Scalable Verification of Hybrid Systems. In: G. Gopalakrishnan, S. Qadeer: Proceedings of the 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, pp. 379-395."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"[Frehse et al. 2014] G. Frehse, A. Hamann, S. Quinton, M. Woehrle: Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. Real-Time Systems Symposium (RTSS), 2014 IEEE, 2014, pp. 53-62.","DOI":"10.1109\/RTSS.2014.28"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"[Henzinger 1996] T. A. Henzinger: The Theory of Hybrid Automata. Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS), 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"[Nghiem et al. 2010] T. Nghiem, S. Sankaranarayanan, C. Fainekos, F. Ivanci\u0107, A. Gupta, G. J. Pappas: Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '10), ACM. New York, 2010, pp. 211-220.","DOI":"10.1145\/1755952.1755983"}],"container-title":["Advanced Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48003-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:57:34Z","timestamp":1498352254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48003-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319480022","9783319480039"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48003-9_7","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}