посоветуйте пожалуйста литературу/ресурсы по сабжу; интересует методология разработки и тестирования критически важного софта. Желательно не сильно заумно-теоретическое.