@techreport{TUW-112528, author = {S{\"u}nder, Christoph Karl}, title = {eCEDAC Evolution Control Environment for Distributed Automation Components - KAPPA Calculus and Verification Task 3.2/4.3 Version 1.2}, institution = {E376 - Institute of Automation and Control; Vienna University of Technology}, year = {2007} }