Carsten Sinz Amir Khosravizadeh Wolfgang Küchlin Viktor Mihajlovski Verifying CIM Models of Apache Web-Server Configurations. 290-297 2003 conf/qsic/2003 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319113 db/conf/qsic/qsic2003.html#SinzKKM03