{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:08:16Z","timestamp":1725494896855},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_23","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:30:57Z","timestamp":1194985857000},"page":"1384-1399","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Combining theorem proving and continuous models in synchronous design"],"prefix":"10.1007","author":[{"given":"Simin","family":"Nadjm-Tehrani","sequence":"first","affiliation":[]},{"given":"Ove","family":"\u00c5kerlund","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"issue":"2","key":"23_CR1","first-page":"163","volume":"12","author":"A. Poign\u00e9","year":"1998","unstructured":"A. Poign\u00e9 and M. Morley and O. Mae\u00efs and L. Holenderski. The Synchronous Approach to Designing Reactive Systems. Formal Methods in System Design, 12(2):163\u2013187, March 1998.","journal-title":"The Synchronous Approach to Designing Reactive Systems"},{"key":"23_CR2","unstructured":"G. Berry. The Foundations of Esterel. In Proofs, Languages and Interaction: Essays in Honour of Robin Milner. MIT Press, 1998. To appear."},{"key":"23_CR3","unstructured":"L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, and A. Ressouche. Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example. In Proceedings of the 12th international Symposium on Languages for Intentional programming, Athens, June 1999. World Scientific."},{"key":"23_CR4","unstructured":"B. Carlson, M. Carlsson, and G. St\u00e5lmarck. NP(FD): A Proof System for Finite Domain Formulas. Technical report, Logikkonsult NP AB, Sweden, April 1997. Available from \n                    http:\/\/www-verimag.imag.fr\/\/SYNCHRONE\/SYRF\/HTML97\/a321.html\n                    \n                  ."},{"key":"23_CR5","first-page":"498","volume":"24","author":"W. Chan","year":"1998","unstructured":"W. Chan, R.J. Anderson, P. Beame, S. Burns, F. Modugno, D. Notkin, and J.D. Reese. Model Checking Large Software Specifications. IEEE Transactions on Software Engineering, 24:498\u2013519, July 1998.","journal-title":"Model Checking Large Software Specifications"},{"issue":"5","key":"23_CR6","first-page":"267","volume":"25","author":"B. Dutertre","year":"1997","unstructured":"B. Dutertre and V. Stavridou. Formal Requirements Analysis of an Avionics Control System. IEEE Transactions on Software Engineering, 25(5):267\u2013278, May 1997.","journal-title":"Formal Requirements Analysis of an Avionics Control System"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"23_CR8","first-page":"231","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"STATECHARTS: A Visual Formalism for Complex Systems"},{"issue":"6","key":"23_CR9","first-page":"363","volume":"22","author":"M. Heimdahl","year":"1996","unstructured":"M. Heimdahl and N. Leveson. Completeness and Consistency in Heirarchical State-based Requirements. IEEE transactions on Software Engineering, 22(6):363\u2013377, June 1996.","journal-title":"Completeness and Consistency in Heirarchical State-based Requirements"},{"key":"23_CR10","unstructured":"Integrated Systems Inc. SystemBuild v 5.0 User\u2019s Guide. Santa Clara, CA, USA, 1997."},{"key":"23_CR11","series-title":"Technical report","volume-title":"Application of Formal Methods for Analysis of the Demo System and parts of the Ventilation System of JAS 39 (in swedish)","author":"O. \u00c5kerlund","year":"1997","unstructured":"O. \u00c5kerlund. Application of Formal Methods for Analysis of the Demo System and parts of the Ventilation System of JAS 39 (in swedish). Technical report, Saab Aerospace AB, Link\u00f6ping, Sweden, January 1997."},{"key":"23_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Programming Languages and Systems, Proceedings of the 7th European Symposium On Programming, Held as part of ETAPS\u201998","author":"F. Maraninchi","year":"1998","unstructured":"F. Maraninchi and Y. R\u00e9mond. Mode-automata: About modes and states for reactive systems. In Programming Languages and Systems, Proceedings of the 7th European Symposium On Programming, Held as part of ETAPS\u201998, Lisbon, Portugal, LNCS 1381. Springer verlag, March 1998."},{"key":"23_CR13","unstructured":"S.E. Mattsson. On modelling of heat exchangers in modelica. In Proc. 9th European Simulation Symposium, Passau, Germany, October 1997. Currently available through \n                    http:\/\/www.modelica.org\/papers\/papers.html\n                    \n                  ."},{"key":"23_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-48983-5_19","volume-title":"Hybrid Systems: Computation and Control, Proceedings of the second international workshop, March 1999","author":"S. Nadjm-Tehrani","year":"1999","unstructured":"S. Nadjm-Tehrani. Integration of Analog and Discrete Synchronous Design. In Hybrid Systems: Computation and Control, Proceedings of the second international workshop, March 1999, LNCS 1569, pages 193\u2013208. Springer Verlag, March 1999."},{"key":"23_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-49163-5_13","volume-title":"Hybrid Systems V, Proceedings of the fifth international workshop on hybrid systems","author":"S. Nadjm-Tehrani","year":"1999","unstructured":"S. Nadjm-Tehrani. Time-Deterministic Hybrid Transition Systems. In Hybrid Systems V, Proceedings of the fifth international workshop on hybrid systems, September 1997, LNCS 1567, pages 238\u2013250. Springer Verlag, 1999."},{"key":"23_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 11th International Conference on Automated Deduction","author":"N. Owre","year":"1992","unstructured":"N. Owre, J. Rushby, and N. Shankar. PVS: A Prototype Verification System. In Proc. 11th International Conference on Automated Deduction, LNCS 607. Springer Verlag, 1992."},{"key":"23_CR17","unstructured":"The SYRF Project. Deliverables for Work packages 1 to 7. Available from \n                    http:\/\/www-verimag.imag.fr\/\/SYNCHRONE\/SYRF\/deliv1.html\n                    \n                  , 1997\u201399."},{"key":"23_CR18","unstructured":"Prover Technology. NPTools v 2.3 User\u2019s Guide. Stockholm, Sweden. Contact: \n                    http:\/\/www.prover.com\n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:02:01Z","timestamp":1558263721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}