Naren Narasimhan Ranga Vemuri Specification of Control Flow Properties for Verification of Synthesized VHDL Designs. 327-345 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#NarasimhanV96 http://dx.doi.org/10.1007/BFb0031819