International Journal of Performability Engineering