A Static Analysis Framework for Livelock Freedom in CSP (Logical Methods in Computer Science, 2013)