11.8 A Powerful Framework for Functional Safety