森 亮憲, 中田 明夫, 東野 輝夫: "並行周期EFSMに対するパラメトリックモデル検査手法"電子情報通信学会論文誌D-I. Vol.J86-D-I, No.2. 75-87 (2003)

Akinori Mori、Akio Nakata、Teruo Higashino：“并行周期 EFSM 的参数模型检查方法”IEICE Transactions D-I，Vol.J86-D-I，No.2 (2003)。