Telefona gönder: Practical formal methods for hardware design / C. Delgado Kloos, W. Damm (eds.).