Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange | IEEE Conference Publication | IEEE Xplore