Rules Based Model Checking