@article { Nguyen2010,
	title = {Goal-oriented testing for MASs},
	journal = {Int. J. Agent-Oriented Software Engineering},
	volume = {4},
	number = {1},
	year = {2010},
	pages = {79--109},
	author = {Nguyen, C.D. and Perini, A. and Tonella, P.}
}