Ｅｖｅｎｔ‐Ｂ　リファインメント・モデリングに基づく形式手法 / 中島震／共著　來間啓伸／共著