По поводу космоса: спутники TacSat гоняют Linux. http://www.linuxjournal.com/article/7767
По поводу if(a=b): все нормальные компиляторы выдают ворнинг.
Мне безразлично, как где пишется присваивание, важно чтобы были фичи и не было оверхэда. А в Обероне нет фич и есть оверхэд.