Controller synthesis for the "production cell" case study. - Helmut Melcher; Klaus Winkelmann (FMSP, 1998)

Hierarchische kompositionale Synthese von Steuerungen für reaktive Systeme. - Helmut Melcher (Shaker, 2002)