{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T20:39:10Z","timestamp":1791146350100,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642007675","type":"print"},{"value":"9783642007682","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00768-2_36","type":"book-chapter","created":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T21:16:10Z","timestamp":1238102170000},"page":"443-453","source":"Crossref","is-referenced-by-count":13,"title":["Bridging the Gap Between Model-Based Development and Model Checking"],"prefix":"10.1007","author":[{"given":"Steven P.","family":"Miller","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"The Mathworks, Simulink Product Description, \n                    \n                      http:\/\/www.mathworks.com"},{"key":"36_CR2","unstructured":"Esterel Technologies, SCADE Suite Product Description, \n                    \n                      http:\/\/www.estereltechnolgies.com"},{"key":"36_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (2001)"},{"key":"36_CR4","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"36_CR5","unstructured":"The NuSMV Model Checker, \n                    \n                      http:\/\/nusmv.irst.itc.it"},{"key":"36_CR6","unstructured":"SRI International, Symbolic Analysis Laboratory, \n                    \n                      http:\/\/sal.csl.sri.com"},{"key":"36_CR7","unstructured":"Prover Technology, Prover Plug-In Product Description, \n                    \n                      http:\/\/www.prover.com"},{"issue":"4-5","key":"36_CR8","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s10009-004-0173-6","volume":"8","author":"S. Miller","year":"2006","unstructured":"Miller, S., Tribble, A., Whalen, M., Heimdahl, M.: Proving the Shalls. International Journal on Software Tools for Technology Transfer (STTT)\u00a08(4-5), 303\u2013319 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"9","key":"36_CR9","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Dataflow Programming Language Lustre. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"36_CR10","unstructured":"Model-Based Testing and Validation with Reactis, \n                    \n                      http:\/\/www.reactive-systems.com"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Miller, S., Anderson, E., Wagner, L., Whalen, M., Heimdahl, M.: Formal Verification of Flight Critical Software. In: Proceedings of the AIAA Guidance, Navigation and Control Conference and Exhibit, AIAA-2005-6431. American Institute of Aeronautics and Astronautics (2005)","DOI":"10.2514\/6.2005-6431"},{"key":"36_CR12","unstructured":"Whalen, M., Innis, J., Miller, S., Wagner, L.: ADGS-2100 Adaptive Display & Guidance System Window Manager Analysis. NASA Contractor Report CR-2006-213952 (2006), \n                    \n                      http:\/\/shemesh.larc.nasa.gov\/fm\/fm-collins-pubs.html"},{"key":"36_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-79707-4_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"M. Whalen","year":"2008","unstructured":"Whalen, M., Cofer, D., Miller, S., Krogh, B., Storm, W.: Integration of Formal Analysis into a Model-Based Software Development Process. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 68\u201384. Springer, Heidelberg (2008)"},{"issue":"5","key":"36_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J. Chilenski","year":"1994","unstructured":"Chilenski, J., Miller, S.: Applicability of Modified Condition\/Decision Coverage to Software Testing. IEE Software Engineering Journal\u00a09(5), 193\u2013200 (1994)","journal-title":"IEE Software Engineering Journal"},{"issue":"10","key":"36_CR15","doi-asserted-by":"publisher","first-page":"1300","DOI":"10.1109\/TC.2008.81","volume":"57","author":"S. Tripakis","year":"2008","unstructured":"Tripakis, S., Pinello, C., Benveniste, A., Sangiovanni-Vincent, A., Caspi, P., Di Natale, M.: Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Transactions on Computers\u00a057(10), 1300\u20131314 (2008)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00768-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T02:38:38Z","timestamp":1551926318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00768-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642007675","9783642007682"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00768-2_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}