{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:18:41Z","timestamp":1775027921783,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf00122418","type":"journal-article","created":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T08:51:17Z","timestamp":1099212677000},"page":"123-151","source":"Crossref","is-referenced-by-count":12,"title":["A formal approach to reactive systems software: A telecommunications application in Esterel"],"prefix":"10.1007","volume":"8","author":[{"given":"Lalita Jategaonkar","family":"Jagadeesan","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Puchol","sequence":"additional","affiliation":[]},{"given":"James E.","family":"Von Olnhausen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"AGEL workshop manual version 3.0, 1989. Produced by ILOG, Mountain View, CA."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"M.A. Ardis, J.A. Chaves, L.J. Jagadeesan, P. Mataga, C. Puchol, M. Staskauskas, and J.E. Von Olnhausen. A framework for evaluating specification methods for reactive systems. In Proceedings of the 17th International Conference on Software Engineering, April 1995.","DOI":"10.1145\/225014.225029"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0169-7552(91)90080-V","volume":"22","author":"G. Berry","year":"1991","unstructured":"G. Berry and G. Gonthier. Incremental development of an HDLC entity in esterel. Computer Networks and ISDN Systems, 22:35?49, 1991.","journal-title":"Computer Networks and ISDN Systems"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19:87?152, 1992.","journal-title":"Science of Computer Programming"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In ACM SIGPLAN-SIGACT Symposium of Programming Languages, pages 85?98, 1993.","DOI":"10.1145\/158511.158526"},{"issue":"2","key":"CR6","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2):244?263, 1986.","journal-title":"ACM TOPLAS"},{"key":"CR7","unstructured":"E. Coste-Maniere. Utilisation d'esterel dans un contexte ansynchrone: une application robotique. Technical report, INRIA, December 1989."},{"issue":"9","key":"CR8","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"P.Le Guernic, M.Le Borgne, T. Gauthier, and C.Le Maire. Programming real-time applications with signal. Proceedings of the IEEE, 79(9):1321?1336, 1991.","journal-title":"Proceedings of the IEEE"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"issue":"9","key":"CR10","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language lustre. Proceedings of the IEEE, 79(9): 1305?1320, 1991.","journal-title":"Proceedings of the IEEE"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231?274, 1987.","journal-title":"Science of Computer Programming"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"1385","DOI":"10.1002\/j.1538-7305.1985.tb00280.x","volume":"64","author":"G. Haugk","year":"1985","unstructured":"G. Haugk, F.M. Lax, R.D. Royer, and J.R. Williams. The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal, 64(6 part 2): 1385?1416, July?August 1985.","journal-title":"AT&T Technical Journal"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen. Safety property verification of esterel programs and an application to telecommunications software. In Proceedings of the 7th International Conference on Computer-Aided Verification, of the Lecture Notes in Computer Science, 939:127?140, July 1995.","DOI":"10.1007\/3-540-60045-0_45"},{"issue":"12","key":"CR14","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"F. Jahanian and A. Mok. Modechart: a specification language for real-time systems. IEEE Transactions on Software Engineering, 20(12):933?947, December 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Argonaute: graphical description, semantics and verification of reactive systems using a process algebra. In Proc. of the International Workshop on Automatic Verification Methods for Finite State Systems. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_4"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1002\/j.1538-7305.1985.tb00276.x","volume":"64","author":"K.E. Martersteck","year":"1985","unstructured":"K.E. Martersteck and A.E. Spencer. Introduction to the 5ESS(TM) switching system. AT&T Technical Journal, 64(6 part 2): 1305?1314, July?August 1985.","journal-title":"AT&T Technical Journal"},{"key":"CR18","unstructured":"R. Milner. Communication and Concurrency. Series in Computer Science. Prentice Hall, 1989."},{"key":"CR19","unstructured":"G.J. Murakami and R. Sethi. Terminal call processing in esterel. In Proceedings of the IFIP 92 World Computer Congress, Madrid, Spain, 1992."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Timed default concurrent constraint programming. In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995.","DOI":"10.1145\/199448.199513"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"J.B. Stefani, L. Hazard, and F. Horn. Computational model for distributed multimedia applications based on a synchronous programming language. Computer Communications, 15(2), March 1992.","DOI":"10.1016\/0140-3664(92)90131-W"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"P. Wolper, M.Y. Vardi, and A.P. Sistla. Reasoning about infinite computation paths. In IEEE Symposium on Foundations of Computer Science, pages 185?194, 1983.","DOI":"10.1109\/SFCS.1983.51"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00122418.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00122418\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00122418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T16:38:23Z","timestamp":1585931903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00122418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF00122418"],"URL":"https:\/\/doi.org\/10.1007\/bf00122418","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}