Mace, J., Morisset, C., & Van Moorsel, A. (2015). Modelling User Availability in Workflow Resiliency Analysis. In Symposium and Bootcamp on the Science of Security (HotSoS).