Roderick Bloem Stefan Galler Barbara Jobstmann Nir Piterman Amir Pnueli Martin Weiglhofer Interactive presentation: Automatic hardware synthesis from specifications: a case study. 1188-1193 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266622 db/conf/date/date2007.html#BloemGJPPW07