End-to-end Automatic Business Process Validation. - Ana C. R. Paiva; Nuno H. Flores; João Pascoal Faria; José M. G. Marques (ANT/SEIT, 2018)