Validating for Liveness in Hidden Adversary Systems. - Saikat Mukherjee; Srinath Srinivasa; Satish Chandra D. (FInCo@ETAPS, 2007)