Formal Methods in Computer-Aided Design

Includes supplementary material: sn.pub/extras