Verification capabilities for business rules management in the Dutch governmental context | IEEE Conference Publication | IEEE Xplore