Designing reliable cyber-physical systems overview associated to the special session at FDL'16 | IEEE Conference Publication | IEEE Xplore