Practical formal methods for hardware design - Kloos, C.Delgado; Damm, W (Springer Verlag, 1997)