BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules | IEEE Conference Publication | IEEE Xplore