Nurulhuda A. Manaf: Generating verifiable service choreographies from SBVR models. University of Surrey, Guildford, UK 2018