System level mutation analysis applied to a state-based language | IEEE Conference Publication | IEEE Xplore