Verifying CIM Models of Apache Web-Server Configurations. - Carsten Sinz; Amir Khosravizadeh; Wolfgang Küchlin; Viktor Mihajlovski (QSIC, 2003)