Kazuhiro Ogata Kokichi Futatsugi Proof Score Approach to Verification of Liveness Properties. 2804-2817 2008 91-D IEICE Transactions 12 http://dx.doi.org/10.1093/ietisy/e91-d.12.2804 db/journals/ieicet/ieicet91d.html#OgataF08