Микроконтроллеры

Шура, ну это же утопия! Ну не получится от него добиться внятного кода силовыми методами! Будут формальные требования - будет до точки их выполнять, но код, если захочет, как был, так и остянется нечитаемым. Про то, что можно навернуть читаемый код непонимаемым абсолютно - даже и не вспоминаем. А за основу можно взять и Голуба с его веревкой и Торвальдса с его coding style и т.п.