Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV. - Aditya Sinha; Ajay Ry; Sanjay Singh 002 (CCSEIT, 2012)