Classifying properties: an alternative to the safety-liveness classification