On the Effect of Counters in Guard Conditions When State-Based Multi-objective Testing | IEEE Conference Publication | IEEE Xplore