@article {3491,
	title = {FTSP Protocol Verification using SPIN},
	year = {2006},
	month = {May},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Abdelwahed_S_5_0_2006_FTSP_Proto.pdf},
	author = {Kusy, Branislav and Abdelwahed, Sherif}
}
