Zaslat SMS: Надежность программного обеспечения. Анализ крупномасштабных разработок