Dias-Neto, A., & 		Travassos, G.
2010 Jun  7.  Selection of Model-Based Test Techniques. Proceedings of the Brazilian Software Quality Symposium (SBQS). [Online] :