Applying Integrated Formal Methods on CPS Design | IEEE Conference Publication | IEEE Xplore