Plannable test selection criteria for FSMs extracted from operational specificationsAmit Paradkar2004ISSRE 2004