Model-based development technology that supports Yokohama Smart Community and development of energy systems | IEEE Conference Publication | IEEE Xplore