%0 Journal Article %T Robust Design and Validation of Cyber-physical Systems %A Sood, Surinder %A Malik, Avinash %A Roop, Partha %J ACM Transactions on Embedded Computing Systems (TECS) %V 18 %N 6 %P 1-21 %@ 1539-9087 %D 2019-11-15 %I ACM %~ DeepDyve