1. A really temporal logic;Alur,1989
2. Adaptive business intelligence based on evolution strategies: some application examples of self-adaptive software;Back;Information Sciences,2002
3. An object-oriented modeling and simulation environment for reactive systems development;Barcio;International Journal of Flexible Manufacturing Systems,1997
4. The synchronous approach to reactive and real-time systems;Benveniste,1991
5. A. Benveniste, P. Bournai, T. Gautier, M. Le Borgne, P. Le Guernic, H. Marchand, The signal declarative synchronous language: controller synthesis & systems/architecture design, in: Proceedings of the 40th IEEE Conference on Decision and Control, 2001, pp. 3284–3289.