PROFILON, ein Profibus-LON Gateway. - Dietmar Loy; Robert Aster (Prax. Inf.verarb. Kommun., 1994)

Formal specification techniques as a catalyst in validation. - Bernhard K. Aichernig; Andreas Gerstinger; Robert Aster (HASE, 2000)