Consequence-Driven Dependability Models for Cyber-Physical Systems (CPS) | AMiner