Formal methods in computer-Aided design - Srivas, Mandayam (New York Springer, 1996)