@conference {GargantiniRR03,
	title = {Using Spin to Generate Tests from ASM Specifications},
	booktitle = {Abstract State Machines},
	year = {2003},
	pages = {263-277},
	author = {Angelo Gargantini and Elvinia Riccobene and S Rinzivillo}
}
