Modeling, Verification and Exploration of Task-Level | lit.salon