Valid (Re-)Use of Models-of-the-Physics in Cyber-Physical Systems Using Validity Frames | IEEE Conference Publication | IEEE Xplore