2 ms·Or Ada / SPARK which is widely used in production for critical-systems.by johnisgood 2y agoOr Ada / SPARK which is widely used in production for critical-systems.