Frédéric Béal Tomohiro Yoneda Chris J. Myers A Conservative Framework for Safety-Failure Checking. 642-654 2008 91-D IEICE Transactions 3 http://dx.doi.org/10.1093/ietisy/e91-d.3.642 db/journals/ieicet/ieicet91d.html#BealYM08