The quality of service model and high assurance | IEEE Conference Publication | IEEE Xplore