Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol - Swaraj Bhat; Pradeep B. H.; Keerthi S. Shetty; Sanjay Singh (CoRR, 2012)