{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T18:31:31Z","timestamp":1672943491756},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,3,11]],"date-time":"2008-03-11T00:00:00Z","timestamp":1205193600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s11334-008-0047-2","type":"journal-article","created":{"date-parts":[[2008,3,10]],"date-time":"2008-03-10T06:56:44Z","timestamp":1205132204000},"page":"161-168","source":"Crossref","is-referenced-by-count":8,"title":["A framework for computer-aided validation"],"prefix":"10.1007","volume":"4","author":[{"given":"Doron","family":"Drusinsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James Bret","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man-Tak","family":"Shing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,3,11]]},"reference":[{"key":"47_CR1","unstructured":"IEEE (2004) IEEE Std. 1012-2004, IEEE standard for software verification and validation"},{"key":"47_CR2","unstructured":"IEEE (1998) IEEE Std. 1233-1998, IEEE guide for developing system requirements specifications"},{"key":"47_CR3","unstructured":"IEEE (1990) IEEE Std. 610.12-1990, IEEE standard glossary of software engineering terminology"},{"issue":"1","key":"47_CR4","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MS.2003.1159030","volume":"20","author":"I Alexander","year":"2003","unstructured":"Alexander I (2003) Misuse cases: use cases with hostile intent. IEEE Softw 20(1): 58\u201366","journal-title":"IEEE Softw"},{"key":"47_CR5","unstructured":"Drusinsky D, Michael B, Shing M (2007) The three dimensions of formal validation and verification of reactive system behaviors. Tech. Rpt. NPS-CS-07-008, Dept. of Computer Science, Naval Postgraduate School, Monterey, August 2007"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Drusinsky D (2006) Modeling and verification using UML statecharts\u2014a working guide to reactive system design, runtime monitoring and execution-based model checking. Elsevier, Burlington","DOI":"10.1016\/B978-075067949-7\/50004-0"},{"issue":"5","key":"47_CR7","first-page":"607","volume":"13","author":"C Heitmeyer","year":"2007","unstructured":"Heitmeyer C (2007) Formal methods for specifying, validating, and verifying requirements. J Univ Comput Sci 13(5): 607\u2013618","journal-title":"J Univ Comput Sci"},{"key":"47_CR8","doi-asserted-by":"crossref","unstructured":"Drusinsky D, Shing M, Demir K (2007) Creating and validating embedded assertion statecharts. IEEE Distrib Syst Online 8(5) art. no. 0705-o5003","DOI":"10.1109\/MDSO.2007.25"},{"issue":"4","key":"47_CR9","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K Havelund","year":"2000","unstructured":"Havelund K, Pressburger T (2000) Model checking Java programs using Java PathFinder. Intl J Softw Tools Technol Transf 2(4): 366\u2013381","journal-title":"Intl J Softw Tools Technol Transf"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0047-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-008-0047-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0047-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T13:47:44Z","timestamp":1559396864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-008-0047-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,11]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["47"],"URL":"https:\/\/doi.org\/10.1007\/s11334-008-0047-2","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,11]]}}}