Introducing Fairness into Compositional Verification via Unidirectional Counters | IEEE Conference Publication | IEEE Xplore