Para la programación confiable, el lenguaje de programación principal era "TPL", un subconjunto de Ada.