Werkzeugunterstützung für den Entwurf von Ablaufsteuerungen auf Basis informeller Spezifikationen (Tool Support for the Design of Sequential Logic Controllers Based on Informal Specifications).