Automated Synthesis and Ranking of Secure BPMN OrchestratorsVincenzo Ciancia, Ernesto Pimentel, José Antonio Martín et al.|International Journal of Secure Software Engineering|2014Cited by 2