Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud: DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. STAF Workshops 2017: 409-416