Life-critical system

Summary