長谷川 哲夫, 磯部 祥尚, 田原 康之, 大須賀 昭彦 (監修): UPPAALによる性能モデル検証—リアルタイムシステムのモデル化とその検証，近代科学社 (2012.09)