{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:36:25Z","timestamp":1759826185405},"reference-count":11,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Softw."],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/ms.2011.159","type":"journal-article","created":{"date-parts":[[2011,12,29]],"date-time":"2011-12-29T03:36:11Z","timestamp":1325129771000},"page":"62-69","source":"Crossref","is-referenced-by-count":4,"title":["Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application"],"prefix":"10.1109","volume":"29","author":[{"given":"Muzammil","family":"Shahbaz","sequence":"first","affiliation":[]},{"given":"K.C.","family":"Shashidhar","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Eschbach","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201259"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69566-0_13"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_25"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1159025"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1199071"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1201\/9780849380273","author":"navet","year":"2008","journal-title":"Automotive Embedded Systems Handbook"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.55"}],"container-title":["IEEE Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/52\/6336715\/06112742.pdf?arnumber=6112742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:20:56Z","timestamp":1642004456000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6112742\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":11,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/ms.2011.159","relation":{},"ISSN":["0740-7459"],"issn-type":[{"value":"0740-7459","type":"print"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}