Văn bản này: Practical formal methods for hardware design / C. Delgado Kloos, W. Damm (eds.).