{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:07:44Z","timestamp":1743152864188,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319681665"},{"type":"electronic","value":"9783319681672"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68167-2_28","type":"book-chapter","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T23:50:53Z","timestamp":1506383453000},"page":"437-445","source":"Crossref","is-referenced-by-count":1,"title":["ForFET: A Formal Feature Evaluation Tool for\u00a0Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Antonio Anastasio","family":"Bruto da Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"28_CR1","unstructured":"1800\u20132012 - IEEE Standard for SystemVerilog. \nhttp:\/\/standards.ieee.org\/findstds\/standard\/1800-2012.html"},{"issue":"11","key":"28_CR2","first-page":"1928","volume":"35","author":"A Ain","year":"2016","unstructured":"Ain, A., Bruto da Costa, A.A., Dasgupta, P.: Feature indented assertions for analog and mixed-signal validation. IEEE TCAD 35(11), 1928\u20131941 (2016)","journal-title":"IEEE TCAD"},{"issue":"3","key":"28_CR3","first-page":"33:1","volume":"16","author":"A Ain","year":"2011","unstructured":"Ain, A., et al.: Chassis: a platform for verifying PMU integration using autogenerated behavioral models. ACM TODAES 16(3), 33:1\u201333:30 (2011)","journal-title":"ACM TODAES"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Althoff, M., Dolan, J.: Reachability computation of low-order models for the safety verification of high-order road vehicle models. In: ACC, pp. 3559\u20133566, June 2012","DOI":"10.1109\/ACC.2012.6314777"},{"key":"28_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138, 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"28_CR6","unstructured":"ARCH: benchmarks for continuous and hybrid system verification. \nhttp:\/\/cps-vo.org\/group\/ARCH\/benchmarks"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Bresolin, D.: HyLTL: a temporal logic for model checking hybrid systems. In: Proceedings of Third International Workshop on HAS 2013, pp. 73\u201384 (2013)","DOI":"10.4204\/EPTCS.124.8"},{"issue":"1","key":"28_CR8","first-page":"9","volume":"32","author":"AA Bruto da Costa","year":"2015","unstructured":"Bruto da Costa, A.A., Dasgupta, P.: Formal interpretation of assertion-based features on AMS designs. IEEE Des. Test 32(1), 9\u201317 (2015)","journal-title":"IEEE Des. Test"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Bruto da Costa, A.A., Dasgupta, P., Frehse, G.: Formal feature analysis of hybrid automata. In: MEMOCODE (2016)","DOI":"10.1109\/MEMCOD.2016.7797740"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-30494-4_3","volume-title":"Formal Methods in Computer-Aided Design","author":"T Dang","year":"2004","unstructured":"Dang, T., Donz\u00e9, A., Maler, O.: Verification of analog and mixed-signal circuits using hybrid system techniques. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS, vol. 3312, pp. 21\u201336. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-30494-4_3"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258\u2013273. Springer, Heidelberg (2005). doi:\n10.1007\/978-3-540-31954-2_17"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-22110-1_30"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-30206-3_12"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-319-46520-3_26","volume-title":"Automated Technology for Verification and Analysis","author":"H Roehm","year":"2016","unstructured":"Roehm, H., Oehlerking, J., Heinz, T., Althoff, M.: STL model checking of continuous and hybrid systems. In: Artho, C., Legay, A., Peled, D. (eds.) ATVA 2016. LNCS, vol. 9938, pp. 412\u2013427. Springer, Cham (2016). doi:\n10.1007\/978-3-319-46520-3_26"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68167-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:55:15Z","timestamp":1507002915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68167-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681665","9783319681672"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68167-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}