Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? | IEEE Conference Publication | IEEE Xplore