Model checking based approach for compliance checking