A Formal Model for Quality of Service Measurement in e-Government | IEEE Conference Publication | IEEE Xplore