An extended operational profile model | IEEE Conference Publication | IEEE Xplore