@booklet {DDLS2011,
	title = {StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs},
	number = {UNL-DI-6-2011},
	year = {2010},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {Ricardo J. Dias and Dino Distefano and Jo{\~a}o M. Louren{\c c}o and Jo{\~a}o Costa Seco}
}
