Dirk Beyer, Claus Lewerentz, and Andreas Noack. Rabbit: A Tool for BDD-based Verification of Real-Time Systems. In W. A. Hunt and F. Somenzi, editors, ''Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003)'', LNCS 2725, pages 122–125, 2003. Springer-Verlag , Berlin.
