Dominique Bolignano A partial-order approach to the verification of concurrent systems: checking liveness properties. 278-292 1995 conf/charme/1995 CHARME db/conf/charme/charme1995.html#Bolignano95 https://doi.org/10.1007/3-540-60385-9_17