Вот еще одна до кучи.

И чего? Ошибки в таких системах были, есть и будут -- слишком много дискретных состояний, все не проверишь и не предусмотришь. Большинство перечисленных ошибок, что характерно, на уровне спецификаций, а не кода. И неизменная дискуссия на тему "Чем Плох С" здесь совершенно не в кассу. Если у тебя один компонент считает в дюймах, а другой в сантиметрах, то что паскаль им, что ада -- это мертвому припарки.