Doi Junior, G., & 		Bonifacio, A.
2011 Nov  7.  A Tool to Support Model-Based Testing Activities. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :