A Technique and Markup Language for Business Process Automation | IEEE Conference Publication | IEEE Xplore