Models and Methods for Technical Safety - Yiliu Liu (Taylor and Francis, 2025)