Email: guangpu.yang@cis.iti.uni-stuttgart.de Technische Informatik, Universität Stuttgart Teilprojekt B03