Towards a Formal Context-Aware Workflow Model for Ambient Environment. - Roumeissa Khennaoui; Nabil Belala (ICOST, 2020)