Andreas Flache, and James A. Kitts -- Chapter 6. Modelling and Analysis of Safety