A formal model for quality of service measurement in e-Government - Corradini, Flavio (Array, 2007)