Hybrid Analysis of BPEL Models with Grammars. - Erwin de Jager; Stijn de Gouw (SOFSEM (Doctoral Student Research Forum), 2020)