Robi Malik Advanced selfloop removal in compositional nonblocking verification of discrete event systems. 819-824 2015 CASE https://doi.org/10.1109/CoASE.2015.7294182 conf/case/2015 db/conf/case/case2015.html#Malik15