Stav dette: Разработка требований к программному обеспечению в критически важных системах; Инженерия для освоения космоса