Ingo Pill Simone Semprini Roberto Cavada Marco Roveri Roderick Bloem Alessandro Cimatti Formal analysis of hardware requirements. 821-826 2006 conf/dac/2006 DAC http://doi.acm.org/10.1145/1146909.1147119 db/conf/dac/dac2006.html#PillSCRBC06