{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:34:16Z","timestamp":1743039256123,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319251493"},{"type":"electronic","value":"9783319251509"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25150-9_32","type":"book-chapter","created":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T07:42:36Z","timestamp":1443166956000},"page":"563-572","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Tool Prototype for Model-Based Testing of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Arend","family":"Aerts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"unstructured":"DC-DC boost converter [figures], April 2015. \n                      http:\/\/goo.gl\/rstOKi","key":"32_CR1"},{"unstructured":"DC-DC boost converter pcb [figure], April 2015. \n                      http:\/\/www.goo.gl\/pDNyw3","key":"32_CR2"},{"unstructured":"Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K.: Conformance testing as falsification for cyber-physical systems. In: ICCPS (2014). \n                      http:\/\/www.arxiv.org\/abs\/1401.5200","key":"32_CR3"},{"doi-asserted-by":"crossref","unstructured":"Abbas, H., Mittelmann, H., Fainekos, G.: Formal property verification in a conformance testing framework. In: MEMOCODE (2014)","key":"32_CR4","DOI":"10.1109\/MEMCOD.2014.6961854"},{"unstructured":"Aerts, A.: Model-based testing tool for hybrid systems in Acumen. Technical report. CST 2015.073, TU\/e (2015)","key":"32_CR5"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems: Advanced Lectures","author":"M Broy","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems: Advanced Lectures. LNCS, vol. 3472. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Dang, T.: Model-based testing of hybrid systems. In: Model-based Testing for Embedded Systems. CRC Press (2011)","key":"32_CR7","DOI":"10.1201\/b11321-15"},{"issue":"2","key":"32_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10703-009-0066-0","volume":"34","author":"T Dang","year":"2009","unstructured":"Dang, T., Nahhal, T.: Coverage-guided test generation for continuous and hybrid systems. Form. Methods Syst. Des. 34(2), 183\u2013213 (2009)","journal-title":"Form. Methods Syst. Des."},{"issue":"2","key":"32_CR9","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCS.2008.931718","volume":"29","author":"R Goebel","year":"2009","unstructured":"Goebel, R., Sanfelice, R., Teel, A.: Hybrid dynamical systems. IEEE Control Syst. Mag. 29(2), 28\u201393 (2009)","journal-title":"IEEE Control Syst. Mag."},{"unstructured":"Heemels, W.P.M.H., de Schutter, B.: Modeling and control of hybrid dynamical systems. TU\/e, Lecture notes course 4K160 (2013)","key":"32_CR10"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-540-71493-4_27","volume-title":"Hybrid Systems: Computation and Control","author":"AA Julius","year":"2007","unstructured":"Julius, A.A., Fainekos, G.E., Anand, M., Lee, I., Pappas, G.J.: Robust test generation and coverage for hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 329\u2013342. Springer, Heidelberg (2007)"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-46430-1_21","volume-title":"Hybrid Systems: Computation and Control","author":"MD Lemmon","year":"2000","unstructured":"Lemmon, M.D.: On the existence of solutions to controlled hybrid automata. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, p. 229. Springer, Heidelberg (2000)"},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11940197_5","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"M Osch van","year":"2006","unstructured":"van Osch, M.: Hybrid input-output conformance and test generation. In: Havelund, K., N\u00fa\u00f1ez, M., Rosu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 70\u201384. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Taha, W., Brauner, P., Zeng, Y., Cartwright, R., Gaspes, V., Ames, A., Chapoutot, A.: A core language for executable models of cyber-physical systems (preliminary report). In: ICDCS (2012)","key":"32_CR14","DOI":"10.1109\/ICDCSW.2012.72"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25150-9_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:48:29Z","timestamp":1559252909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25150-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319251493","9783319251509"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25150-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}