Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers | IEEE Conference Publication | IEEE Xplore