Ran Wei Tim P. Kelly Richard Hawkins 0001 Eric Armengaud DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. 409-416 2017 STAF Workshops https://doi.org/10.1007/978-3-319-74730-9_37 conf/staf/2017w db/conf/staf/staf2017w.html#WeiKHA17