A Static Analysis Framework for Livelock Freedom in CSP - Ouaknine, J; Palikareva, H; Roscoe, A; Worrell, J (Logical Methods in Computer Science, 2012)