IntegralJ - The type-safe programming language for security-critical and safety-critical high-integrity embedded and systems software.