@techreport{TUW-112532, 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 2.0}, institution = {E376 - Institut f{\"u}r Automatisierungs- und Regelungstechnik; Technische Universit{\"a}t Wien}, year = {2007} }