selected publications academic article Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models. IEEE Access. 6:59843-59852. 2018