{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:28Z","timestamp":1725551188077},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664888"},{"type":"electronic","value":"9783540482499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48249-0_37","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:11Z","timestamp":1269897191000},"page":"431-444","source":"Crossref","is-referenced-by-count":2,"title":["A Graphical Environment for the Specification and Verification of Reactive Systems"],"prefix":"10.1007","author":[{"given":"A. K.","family":"Bhattacharjee","sequence":"first","affiliation":[]},{"given":"S. D.","family":"Dhodapkar","sequence":"additional","affiliation":[]},{"given":"Sanjit","family":"Seshia","sequence":"additional","affiliation":[]},{"given":"R. K.","family":"Shyamasundar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"37_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel: Statecharts: A Visual Approach to Complex Systems, Science of Computer Programming, 8:231\u2013274 1987","journal-title":"Science of Computer Programming"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"David Harel, Amnon Naamad: The Statemate Semantics of Statecharts, ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 4, Oct. 1996","DOI":"10.1145\/235321.235322"},{"issue":"2","key":"37_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry, G. Gonthier: The Esterel synchronous programming languages: Design, semantics, implementation. Science of Computer Programming, 19(2):87\u2013152, 1992","journal-title":"Science of Computer Programming"},{"key":"37_CR4","unstructured":"G. Berry: The Semantics of Pure Esterel. Survey Paper, INRIA, Sophia-Antipolis, France."},{"key":"37_CR5","unstructured":"A. Rai, S. D. Dhodapkar: Statechart Editor (SCE), BARC Technical Report, BARC\/1996\/E\/012, 1996"},{"key":"37_CR6","unstructured":"Annie Ressouche et.al. FC2TOOLS for Esterel: Verification by reduction of Synchronous Reactive Programs, INRIA, Sophia-Antipolis, France."},{"key":"37_CR7","unstructured":"V. Roy, R. de Simone An Autograph Primer, INRIA Technical Report, Sophia-Antipolis, France."},{"key":"37_CR8","unstructured":"A. K. Bhattacharjee, S. D. Dhodapkar, S. Seshia and R. K. Shyamasundar: STAT-EST: A Tool to Translate Statecharts to Esterel. BARC Technical Report BARC\/1998\/E\/014, 1998."},{"key":"37_CR9","unstructured":"N. Halbwachs: Synchronous Programming of Reactive Systems, Lecture Notes, 21st AFCET International School of Computer Science, 1991"},{"key":"37_CR10","unstructured":"Berry et.al.: Unpublished note on Esterel and Argos, 1995"},{"key":"37_CR11","unstructured":"Beauvais. J. R et. al.: A translation of Statecharts to Signal\/DC+. Tech Rep. IRISA, 1997."},{"key":"37_CR12","unstructured":"E. Mikk et.al. Implementing Statecharts in Promela\/SPIN, Technical Report, 1997."},{"key":"37_CR13","unstructured":"C. Andre\u2019:A visual Representation of Reactive Behaviours Tech. Rep. RR 95-52 I3S, Sophia-Antipolis, France, 1995"},{"key":"37_CR14","unstructured":"R. Milner: Communication and Concurrency, Series in Computer Science, Prentice Hall, 1989."},{"key":"37_CR15","unstructured":"A. K. Bhattacharjee, S. D. Dhodapkar, S. Seshia, R. K. Shyamasundar: A Translation of Statecharts to Esterel Accepted for publication in the proceedings of FM\u201999(Technical Symposium), Toulouse, France, 20-24 Sept., 1999"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48249-0_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T22:09:24Z","timestamp":1550959764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}