A Framework for Efficient Contract-Based Testing of Software Components. - Egon Valentini; Gerhard Fliess; Edmund Haselwanter (COMPSAC (2), 2005)

Configurable logic style translation based on an openaccess engine. - Egon Valentini; Edmund Haselwanter; Robert Ulmer; Thomas Popp (ICECS, 2005)