Abstract: The integration of critical system components, requirement specification, and safety properties plays a crucial role in advancing the development and ...