{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:25:01Z","timestamp":1648693501943},"reference-count":22,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,2,1]],"date-time":"2002-02-01T00:00:00Z","timestamp":1012521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2002,2]]},"DOI":"10.1016\/s0164-1212(01)00083-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:34:40Z","timestamp":1027593280000},"page":"103-112","source":"Crossref","is-referenced-by-count":5,"title":["Designing reactive systems: integration of abstraction techniques into a synthesis procedure"],"prefix":"10.1016","volume":"60","author":[{"given":"Richard","family":"St-Denis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(01)00083-8_BIB1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lamport, L., Wolper, P., 1989. Realizable and unrealizable specifications of reactive systems. In: Ausiello, G., Dezani-Ciancaglini, M., Ronchi Della Rocca, S. (Eds.), Proceedings of the 16th International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science, vol. 372, Springer, Berlin, pp. 1\u201317","DOI":"10.1007\/BFb0035748"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB2","doi-asserted-by":"crossref","unstructured":"Aho, A.V., Ullman, J.D., 1972. The Theory of Parsing, Translation and Compiling, vol. I: Parsing. Prentice-Hall, Englewood Cliffs, NJ","DOI":"10.1145\/321694.321697"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB3","series-title":"Compilers: Principles, Techniques, and Tools","author":"Aho","year":"1986"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB4","unstructured":"Aho, A.V., Gallagher, S., Griffeth, N., Schell, C., Swayne, D., 1998. SCF3TM\/Sculptor with Chisel: Requirements engineering for communications services. In: Kimbler, K., Bouma, L.G. (Eds.), Feature Interactions in Telecommunications and Software Systems V. IOS Press, Amsterdam, pp. 45\u201363"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB5","doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O., Pnueli, A., 1995. Symbolic controller synthesis for discrete and timed systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (Eds.), Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, Springer, Berlin, pp. 1\u201320","DOI":"10.1007\/3-540-60472-3_1"},{"issue":"11","key":"10.1016\/S0164-1212(01)00083-8_BIB6","doi-asserted-by":"crossref","first-page":"1543","DOI":"10.1109\/9.728871","article-title":"A method for the synthesis of controllers to handle safety, liveness, and real-time constraints","volume":"43","author":"Barbeau","year":"1998","journal-title":"IEEE Trans. Automat. Control"},{"issue":"12","key":"10.1016\/S0164-1212(01)00083-8_BIB7","doi-asserted-by":"crossref","first-page":"2398","DOI":"10.1109\/9.362854","article-title":"Variable lookahead supervisory control with state information","volume":"39","author":"Ben Hadj-Alouane","year":"1994","journal-title":"IEEE Trans. Automat. Control"},{"issue":"4","key":"10.1016\/S0164-1212(01)00083-8_BIB8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01797138","article-title":"Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation","volume":"6","author":"Ben Hadj-Alouane","year":"1996","journal-title":"J. Discrete Event Dyn. Syst.: Theory and Appl."},{"key":"10.1016\/S0164-1212(01)00083-8_BIB9","series-title":"Introduction to Discrete Event Systems","author":"Cassandras","year":"1999"},{"issue":"12","key":"10.1016\/S0164-1212(01)00083-8_BIB10","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","article-title":"Limited lookahead policies in supervisory control of discrete event systems","volume":"37","author":"Chung","year":"1992","journal-title":"IEEE Trans. Automat. Control"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB11","unstructured":"Ding, S., Katayama, T., 1993. Specifying reactive systems with attributed finite state machines. In: Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, pp. 90\u201399"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB12","series-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"Ehrig","year":"1985"},{"issue":"4","key":"10.1016\/S0164-1212(01)00083-8_BIB13","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1145\/262004.262008","article-title":"Utilizing symmetry when model-checking under fairness assumptions: An automata-theoretic approach","volume":"19","author":"Emerson","year":"1997","journal-title":"ACM Trans. Programming Languages and Syst."},{"key":"10.1016\/S0164-1212(01)00083-8_BIB14","unstructured":"Eyzell, J.M., Cury, J.E.R., 1998. Symmetry in the supervisory control problem. In: Proceedings of the 4th IEE Workshop on Discrete Event Systems, Cagliari, Italy"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB15","series-title":"Computer Aided Systems Theory \u2013 EUROCAST 2001","article-title":"Towards a computer aided design of reactive systems","volume":"vol. 2178","author":"Frappier","year":"2001"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB16","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Diaconescu, R., 1992. Towards an algebraic semantics for the object paradigm. In: Ehrig, H., Orejas, F. (Eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer Science, vol. 785, Springer, Berlin, pp. 1\u201326","DOI":"10.1007\/3-540-57867-6_1"},{"issue":"3","key":"10.1016\/S0164-1212(01)00083-8_BIB17","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01438708","article-title":"On-line control of partially observed discrete event systems","volume":"4","author":"Heymann","year":"1994","journal-title":"J. Discrete Event Dyn. Syst."},{"key":"10.1016\/S0164-1212(01)00083-8_BIB18","series-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft","year":"1979"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB19","series-title":"Modeling and Control of Logical Discrete Event Systems","author":"Kumar","year":"1995"},{"issue":"2","key":"10.1016\/S0164-1212(01)00083-8_BIB20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008371814442","article-title":"Synthesis of controllers of processes modeled as colored Petri nets","volume":"9","author":"Makungu","year":"1999","journal-title":"J. Discrete Event Dyn. Syst.: Theory and Appl."},{"issue":"1","key":"10.1016\/S0164-1212(01)00083-8_BIB21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete event systems","volume":"77","author":"Ramadge","year":"1989","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0164-1212(01)00083-8_BIB22","doi-asserted-by":"crossref","unstructured":"Rushby, J., 1999. Mechanized formal methods: where next? In: Wing, J.M., Woodcock, J., Davies, J. (Eds.), FM'99-Formal Methods, Lecture Notes in Computer Science, vol. 1708, Springer, Berlin, pp. 48\u201351","DOI":"10.1007\/3-540-48119-2_3"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121201000838?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121201000838?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T03:27:54Z","timestamp":1578454074000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121201000838"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,2]]}},"alternative-id":["S0164121201000838"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(01)00083-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}