Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach