Towards Component-Based Design of Safety-Critical Cyber-Physical Applications | IEEE Conference Publication | IEEE Xplore