Bom, há vários sites que falam sobre safety, dentre eles www.misca.org.uk. Existem também alguns livros dentre eles, se não me engano o nome, “Doing Hard time”. Este último tem várias considerações sobre o uso das linguages de programação em sistemas safety.
até mais,