@misc{615,
  author = {Branislav Kusy and Sherif Abdelwahed},
  title = {FTSP Protocol Verification using SPIN},
  year = {2006},
  month = {May},
  publisher = {Institute for Software Integrated Systems},
  language = {eng},
}