Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer | IEEE Conference Publication | IEEE Xplore