FOREST: a systematic testing environment based on standardized formal description techniques | IEEE Conference Publication | IEEE Xplore