Model-based validation and verification of anomalies in legislation - Strahonja, Vjeran (Array, 2006)