Formal Methods In Computer-Aided Design by Mandayam Srivas