Parosh Aziz Abdulla Bengt Jonsson Ahmed Rezine Mayank Saksena Proving Liveness by Backwards Reachability. 95-109 2006 conf/concur/2006 CONCUR http://dx.doi.org/10.1007/11817949_7 db/conf/concur/concur2006.html#AbdullaJRS06