On the specification of distributed computer control systems - Ludewig, Jochen; Sandmayr, Helmut (Universitätsbibliothek der Universität Stuttgart, 2014)