Safety and reliability synthesis of systems with control loops · Study