“…Conference series: formal methods in computer-aided design, volume 4…”