In-depth explanations of Safety Manager and its features