Arcade: A formal, extensible, modelbased dependability evaluation framework
https://www.powershow.com/view/94df7-NWFiN/Arcade_A_formal_extensible_modelbased_dependability_evaluation_framework_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
