Kazumi Nakamatsu Jair Minoro Abe Railway Signal and Paraconsistency. 220-225 2005 LAPTEC conf/laptec/2005 db/conf/laptec/laptec2005.html#NakamatsuA05 http://www.booksonline.iospress.nl/Content/View.aspx?piid=1063