Felice Balarin
Univ. of California, Berkeley
Iterative algorithms for formal verification of embedded real-time systems
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design