Plannable test selection criteria for FSMs extracted from operational specifications | IEEE Conference Publication | IEEE Xplore