Hints for High-Assurance Cyber-Physical System Design | IEEE Conference Publication | IEEE Xplore