DOI,IST REx ID,Title of publication
10.1007/3-540-60045-0_49,4587,Local liveness for compositional modeling of fair reactive systems