Liveness and reachability analysis of BPMN process models - Rachdi, Anass (Array, 2016)