{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T12:54:42Z","timestamp":1770814482709,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540474609","type":"print"},{"value":"9783540474623","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11901433_33","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"606-620","source":"Crossref","is-referenced-by-count":51,"title":["Tool for Translating Simulink Models into Input Language of a Model Checker"],"prefix":"10.1007","author":[{"given":"B.","family":"Meenakshi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Bhatnagar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudeepa","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"DO-178B guidelines. Available from: \n                    \n                      http:\/\/www.rtca.org\/"},{"key":"33_CR2","unstructured":"Simulink web page: \n                    \n                      http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"33_CR3","unstructured":"Stateflow web page: \n                    \n                      http:\/\/www.mathworks.com\/products\/stateflow\/"},{"key":"33_CR4","unstructured":"NuSMV web page: \n                    \n                      http:\/\/nusmv.irst.itc.it\/"},{"key":"33_CR5","unstructured":"Embedded Validator web page: \n                    \n                      http:\/\/www.dspaceinc.com\/ww\/en\/inc\/home\/products\/sw\/pcgs\/automatic_model_validation.cfm"},{"key":"33_CR6","unstructured":"Checkmate web page: \n                    \n                      http:\/\/www.ece.cmu.edu\/~webk\/checkmate\/"},{"issue":"8","key":"33_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"33_CR8","unstructured":"Camus, J.-L., Dion, B.: Efficient development of airborne software with scade-suite. Technical report, Esterel Technologies (2003)"},{"issue":"4","key":"33_CR9","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Computing Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"33_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-44829-2_3","volume-title":"Model Checking Software","author":"S. Dajani-Brown","year":"2003","unstructured":"Dajani-Brown, S., Cofer, D., Hartman, G., Pratt, S.: Formal modeling and analysis of an avionics triplex sensor voter. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 34\u201348. Springer, Heidelberg (2003)"},{"key":"33_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/298595.298598","volume-title":"Proc. 2nd Workshop on Formal Methods in Software Practice (FMSP 1998)","author":"M.B. Dwyer","year":"1998","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Ardis, M. (ed.) Proc. 2nd Workshop on Formal Methods in Software Practice (FMSP 1998), pp. 7\u201315. ACM Press, New York (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:01:24Z","timestamp":1558288884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11901433_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}