4 ms·I am pretty sure that SPARK Ada would be an alternative.by riedel 4y agoI am pretty sure that SPARK Ada would be an alternative.