Correctness of rVsMW Rollback-Recovery Protocol for Mobile Systems