1. A. Akhavan, S. Bensalem, M. Bozga, and E. Orfanidou. Experiment on verification of a planetary rover controller, 2003. Submitted
2. A theory of timed automata;Alur;Theoretical Computer Science,1994
3. Membership questions for timed and hybrid automata;Alur,1998
4. C. Artho, D. Drusinsky, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, G. Rosu, and W. Visser. Experiments with test case generation and runtime analysis. In 10th International Workshop on Abstract State Machines (ASM'03), March 2003
5. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Eagle does Space Efficient LTL Monitoring. Submitted for publication, October 2003