Werner Grass Stefan Lenk Christine Sontheim Design of Control Dominated Hardware Based on Formal Methods. 10357-10364 1998 conf/euromicro/1998 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/1998/8646/01/864610357abs.htm db/conf/euromicro/euromicro1998.html#GrassLS98