What methodologies do you use to ensure software reliability and safety in physical systems, especially in projects like those NGC delivers?