Author:
Wang Xiangyun,Li Yongchao,Cai Kaiyuan
Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. Harel, D., Pnueli, A., On the development of reactive systems, Logics and Models of Concurrent Systems (ed. Apt, K.R.), NATO ASI series, Vol. F-13, 1985, 477–498.
2. Harel, D., Politi, M., Modeling Reactive Systems With Statecharts: The STATEMATE Approach, New York: MCGraw-Hill, 1998.
3. Alur, R., Henzinger, T. A., A really temporal logic, Proceedings of the 30th Annual Symposium on Foundations of Computer Science, New York: IEEE Computer Society Press, 1989, 164–169.
4. Benveniste, A., Berry, G., The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, 1991, 79(9): 1270–1282.
5. Barcio, B. T., Ramaswamy, S., BarBer, K. S. et al., An object-oriented modeling and simulation environment for reactive systems development, International Journal of Flexible Manufacturing Systems, 1997, 9(1): 51–80.