Kohei Suenaga Yutaka Oiwa Eijiro Sumii Akinori Yonezawa The Interface Definition Language for Fail-Safe C. 192-208 http://dx.doi.org/10.1007/978-3-540-37621-7_10 2003 conf/isss2/2003 ISSS db/conf/isss2/isss2003.html#SuenagaYSY03