@article{MBT-2007-PaivaFV,
	author        = "Ana C. R. Paiva and João C. P. Faria and Raul F. A. M. Vidal",
	doi           = "10.1016/j.entcs.2007.08.010",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 2,
	pages         = "99--111",
	title         = "{Towards the Integration of Visual and Formal Models for GUI Testing}",
	volume        = 190,
	year          = 2007,
}