{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:36:25Z","timestamp":1740170185713,"version":"3.37.3"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-0931931","CNS-1035715"],"award-info":[{"award-number":["CNS-0931931","CNS-1035715"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/mdat.2015.2462112","type":"journal-article","created":{"date-parts":[[2015,7,29]],"date-time":"2015-07-29T18:32:40Z","timestamp":1438194760000},"page":"66-73","source":"Crossref","is-referenced-by-count":3,"title":["Design Considerations for Modeling Modes in Cyber\u2013Physical Systems"],"prefix":"10.1109","volume":"32","author":[{"given":"Anitha","family":"Murugesan","sequence":"first","affiliation":[]},{"given":"Sanjai","family":"Rayadurgam","sequence":"additional","affiliation":[]},{"given":"Michael W.","family":"Whalen","sequence":"additional","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Detecting Mode Confusion Through Formal Modeling and Analysis","year":"1999","author":"miller","key":"ref4"},{"journal-title":"Cooperative Adaptive Cruise Control Testing Drivers' Choices of Following Distances","year":"2010","author":"nowakowski","key":"ref3"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","author":"kang","year":"1990","journal-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MiSE.2013.6595290"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-45732-1_4","article-title":"A rigorous view of mode confusion","volume":"2434","author":"bredereke","year":"2002","journal-title":"Computer Safety Reliability and Security"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1995.521891"},{"journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","year":"1994","author":"gamma","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s10009-004-0173-6","article-title":"Proving the shalls: Early validation of requirements through formal methods","volume":"8","author":"miller","year":"2006","journal-title":"Int J Softw Tools Technol Transf"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234169"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2003.1245813"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/6221038\/7236939\/7172459-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/7236939\/07172459.pdf?arnumber=7172459","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:53:20Z","timestamp":1649444000000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7172459\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":12,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2015.2462112","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"type":"print","value":"2168-2356"},{"type":"electronic","value":"2168-2364"}],"subject":[],"published":{"date-parts":[[2015,10]]}}}