Towards Controlling Lawful States and Events in Business Process Models | IEEE Conference Publication | IEEE Xplore