Generalizing STNU to Model Non-functional Constraints for Business Processes | IEEE Conference Publication | IEEE Xplore