Constructing operational profiles for synchronous critical software | IEEE Conference Publication | IEEE Xplore