Rule-base content verification using a digraph-based modelling approach