A State-Based Context-Aware Declarative Process Model. - Pnina Soffer; Tomer Yehezkel (BMMDS/EMMSAD, 2011)