Abstract: The increasing demand for mission-critical services and applications has emphasized the need for systems with strict security and dependability requirements. In this context, evaluating and ...