Title: Safety-critical system