Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework | IEEE Conference Publication | IEEE Xplore