Coupling Model Checking and PSA: A Case Study - Pakonen; Antti; Björkman, Kim (2019)