Hardware synthesis from requirement specifications. - Konrad Feyerabend; Rainer Schlör (EURO-DAC, 1996)

A Visual Fomalism for Real-Time Requirement Specifications. - Konrad Feyerabend; Bernhard Josko (ARTS, 1997)