What's Inside Assuring the Safety of Systems | tbr*a