A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification.