Assessing Business Processes by Checking Transaction Documents for Inconsistency Risks In Proceedings of the Sixth International Symposium on Business Modeling and Software Design BMSD - Volume 1, 39-45, 2016 , Rhodes, Greece