Kenji Sawada, Mamoru Sakura, Osamu Kaneko, Seiichi Shin, Isao Matsuda, Toru Murakami. Energy balance based Verification for Model Based Development. In Anton Haumer, editor, Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019. Volume 157 of Linköping Electronic Conference Proceedings, Linköping University Electronic Press, 2019. [doi]