Francesco Gerardi Reutlingen University Fakult¨ at Informatik Reutlingen, Germany fgerardi@web.de Abstract