A speculation-based approach for performance and dependability analysis: a case study | IEEE Conference Publication | IEEE Xplore