• Integrated modelling, fault management, verification and reliable design environment for cyber-physical systemsRaik, Jaan; Rauwerda, Gerard; Zhao, Yong; Shibin, KonstantinMEDIAN Finale : Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale : November 10-11, 2015, Tallinn, Estonia2015 / p. 74