Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence IntervalsSpecification of object behaviour with defaults
