Alejandro Masrur, Michal Kit, Tomás Bures, Wolfram Hardt. Towards Component-Based Design of Safety-Critical Cyber-Physical Applications. In 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014. pages 254-261, IEEE, 2014. [doi]
Abstract is missing.