Formal verification of business processes with temporal and resource constraints | IEEE Conference Publication | IEEE Xplore