Security Property Violation in CPS through Timing | IEEE Conference Publication | IEEE Xplore