Разработка встраиваемых систем в Ada Руководство программиста на языке Си по безопасному и защищенному программному обеспечению, представленное Робом Тайсом.