Design of Control Dominated Hardware Based on Formal Methods. - Werner Grass; Stefan Lenk 001; Christine Sontheim (EUROMICRO, 1998)