GRAFCET, Spezifikationssprache für Funktionspläne der Ablaufsteuerung = GRAFCET specification language for sequential function charts (Beuth, 2002)