Dennis Luxen and Dennis Schieferdecker
Technical Report, August 13, 2012, Fakultät für Informatik, Karlsruher Institut für Technologie