Spezifikationsstile und Entwurfswerkzeuge für Kommunikationsprotokolle im Echtzeitbereich. - Jörg Czekalla (1995)