Jens Knodel Daniel Popescu A Comparison of Static Architecture Compliance Checking Approaches. 12 2007 conf/wicsa/2007 WICSA http://doi.ieeecomputersociety.org/10.1109/WICSA.2007.1 db/conf/wicsa/wicsa2007.html#KnodelP07