The paper “Effective System Level Liveness Verification” by Alexander Fedotov, Jeroen Keiren and Julien Schmaltz has been accepted for presentation at FMCAD 2020, which will take place as an online conference. The paper introduces a sound encoding of liveness verification for xMAS networks extended with finite state machines.