Static Livelock Analysis in CSP - Ouaknine, J; Palikareva, H; Roscoe, A; Worrell, J (2011)