Alan Fekete Liveness Conditions in Model-Based Service Specifications: A Case Study. 62-71 1995 SIGSOFT FSE http://doi.acm.org/10.1145/222124.222140 db/conf/sigsoft/fse95.html#Fekete95