_id,doi,title
4587,10.1007/3-540-60045-0_49,Local liveness for compositional modeling of fair reactive systems