A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research | IEEE Conference Publication | IEEE Xplore