I've done a little work with safety-critical systems, and that's certainly a new requirement to me both in theory and practice.