Use Cases to Process Specifications in Business Process Modeling Notation | IEEE Conference Publication | IEEE Xplore