1. Abdeddaíom, Y., Asarin, E., Maler, O. On optimal scheduling under uncertainty. In: Proceedings of TACAS 2003. Warsaw, LNCS 2619 (2003)
2. Abdeddaíom, Y., Asarin, E., Maler, O.: On optimal scheduling under uncertainty. In: Proceedings of TACAS 2003; Warsaw, LNCS 2619, 2003; with timed automata. Theor.Comp. Sci. (2004)
3. Aghav, J., Petitpierre, C.: Validating real-time behavioral patterns of embedded controllers. In: SVERTS (Specification and Validation of UML models for Real Time and Embedded Systems) workshop at UML 2003. CA, USA, October 2003, Proceedings (2003)
4. Alur, R., Dill, D.: A theory of timed automata. Theor. Comp. Sci. 126, 183–235 (1994)
5. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41, 181–204 (1994) (a preliminary version appeared in the Proceedings of 30th FOCS 1989)