A formal approach to the integrated analysis of security and QoS - Aldini, Alessandro; Bernardo, Marco (Reliability Engineering & System Safety, 2007)