1) Я от него никогда и не отказывался. 2) При правильном подходе можно и на асме и структурно и ООП-ориентированно писать. Только это очень муторно, и так никто не делает. 3)Что касается С, то там -> http://nescc.sourceforge.net
http://nescc.sourceforge.net/papers/nesc-pldi-2003.pdf
показано, что можно вытворять на С и при очень ограниченных ресурсах. И исходники там читаются куда проще и логичнее, чем на чистом C.
Вот если бы они еще транслятор этого добра в С на Pythone написали, ему бы вообще цены не было.
Папира очень содержательная, читать очень вдумчиво и много раз!
Нам с нашими примитивными подходами до такого изящества как до китая раком. А мы все тут спорим, что же круче - RTEMS, uCOS, eCos, Lunux.
А если вообще к основам потянуло - почитайте вот это
http://www.oberon2 ….ru/book/ponw2005e.pdf
Опять же, читать надо вдумчиво и не спеша. Особенно разделы про многозадачность.