UPPAALによる性能モデル検証―リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座)近代科学社2012/099長谷川 哲夫磯部 祥尚田原 康之大須賀 昭彦読んだ読みたいamazonで見る
