An approach and a tool for verification of service-based inter-organizational workflows. - Saïda Boukhedouma; Maroua Zergui; Zaia Alimazighi (RCIS, 2016)