Performability analysis of guarded-operation duration: a successive model-translation approach | IEEE Conference Publication | IEEE Xplore