Eine Sprache zur formalen Spezifikation eingebetteter Systeme - Goedicke, Michael (Universität <Dortmund>, 1986)