The Energy-Based Auto-Verification Focused on Hierarchical Model Structure for Model Based Development | IEEE Conference Publication | IEEE Xplore