René Rydhof Hansen Flemming Nielson Hanne Riis Nielson Christian W. Probst Static Validation of Licence Conformance Policies. 1104-1111 2008 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2008.162 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#HansenNNP08