国際会議
[1] Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto, "Verification of Safety Property of Line Tracer Program Using Timed Automaton Model," International Workshop on Informatics 2012, pages 136-142 September 2012.