Phoenix – A model-based Human Reliability Analysis methodology: Qualitative Analysis Procedure · Study