Practical formal methods for hardware design - Kloos, Delgado C.; Damm, Werner (Research reports esprit ;, 1997)