The Energy-Based Auto-Verification Focused on Hierarchical Model Structure for Model Based Development. - Mamoru Sakura; Kenji Sawada; Seiichi Shin; Osamu Kaneko; Isao Matsuda (IECON, 2019)

Energy balance based Verification for Model Based Development. - Kenji Sawada; Mamoru Sakura; Osamu Kaneko; Seiichi Shin; Isao Matsuda; Toru Murakami (Modelica, 2019)