FMU 2.0 Model Encapsulation And Verification | IEEE Conference Publication | IEEE Xplore