Alberto Calvi, Silvio Ranise, Luca Viganò: Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. SYNASC 2010: 456-464