Designing reliable cyber-physical systems overview associated to the special session at FDL’16Gadi AleksandrowiczEli Arbelet al.2016FDL 2016
Complete and effective robustness checking by means of interpolationStefan FrehseGorschwin Feyet al.2012FMCAD 2012