Email Record: Formal methods in computer-aided design :