https://pedagogyzone.com/specifying-constraints-as-assertions-and-actions-as-triggers/