{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:25:38Z","timestamp":1773235538193,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540797067","type":"print"},{"value":"9783540797074","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-79707-4_7","type":"book-chapter","created":{"date-parts":[[2008,5,7]],"date-time":"2008-05-07T02:37:44Z","timestamp":1210127864000},"page":"68-84","source":"Crossref","is-referenced-by-count":39,"title":["Integration of Formal Analysis into a Model-Based Software Development Process"],"prefix":"10.1007","author":[{"given":"Michael","family":"Whalen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Storm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Buffington, J.M., Crum, V., Krogh, B.H., Plaisted, C., Prasanth, R., Bose, P., Johnson, T.: Validation & verification of intelligent and adaptive control systems (VVIACS)*. In: AIAA Guidance, Navigation and Control Conference (August 2004)","DOI":"10.2514\/6.2003-6603"},{"key":"7_CR2","unstructured":"Whalen, M.W., Innis, J.D., Miller, S.P., Wagner, L.G.: ADGS-2100 Adaptive Display & Guidance System Window Manager Analysis, NASA Contractor Report CR-2006-213952 (February 2006)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Miller, S., Heimdahl, M.P.E., Tribble, A.C.: Proving the Shalls. In: Proceedings of FM 2003: the 12th International FME Symposium, Pisa, Italy, September 8-14 (2003)","DOI":"10.1007\/978-3-540-45236-2_6"},{"key":"7_CR4","volume-title":"Model Checking","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Grumberg, O., Peled, P.: Model Checking. The MIT Press, Cambridge (2001)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C., Jeffords, R., Labaw, B.: Automated Consistency Checking of Requirements Specification. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/52.156894","volume":"9","author":"S. Faulk","year":"1992","unstructured":"Faulk, S., Brackett, J., Ward, P., Kirby Jr, J.: The CoRE Method for Real-Time Requirements. IEEE Software\u00a09(5), 22\u201333 (1992)","journal-title":"IEEE Software"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-540-39724-3_11","volume-title":"Correct Hardware Design and Verification Methods","author":"H. Chockler","year":"2003","unstructured":"Chockler, H., Kupferman, O., Vardi, M.Y.: Coverage metrics for formal verification. In: Geist, D., Tronci, E. (eds.) CHARME 2003. LNCS, vol.\u00a02860, pp. 111\u2013125. Springer, Heidelberg (2003)"},{"key":"7_CR8","unstructured":"Lions, J.L.: Arianne 5 Flight 501 Failure Report by the Inquiry Board, ESA Technical Report No. 33-1996 (July 1996)"},{"key":"7_CR9","unstructured":"Choi, Y., Heimdahl, M.P.E., Rayadurgam, S.: Domain reduction abstraction. Technical Report 02-013. University of Minnesota (April 2002)"},{"key":"7_CR10","unstructured":"Tribble, A.C., Lempia, D.D., Miller, S.P.: Software Safety Analysis of a Flight Guidance System. In: Proceedings of the 21st Digital Avionics Systems Conference (DASC 2002), Irvine, California, October 27-31 (2002)"},{"key":"7_CR11","unstructured":"Reactive Systems, Inc, Reactis Home Page, \n                    \n                      http:\/\/www.reactive-systems.com"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79707-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:26:17Z","timestamp":1558265177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79707-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540797067","9783540797074"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79707-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}