Institute: E376 - Institute of Automation and Control Further search in the publications of: Klaus Holzmann Institute: E376 - Institute of Automation and Control