This package contains model element handlers for temporal logics specifications.