An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. - Alberto Bastias; Sidharth Bihary; Suman Roy 001 (APSEC, 2011)