Seol mar théacs é seo: Formal and Model−Based Testing of Concurrent Workflows