Timing analysis in OO system life-cycles | IEEE Conference Publication | IEEE Xplore