解説

[1] 岡野浩三, "時間オートマトン," 電子情報通信学会ハンドブック/知識ベース, volume 7 群1 編3 章3-2, 2010年.

国際会議

[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. [iwin2012.pdf]