ST сертифицирован IEC. Значит используется.
Ну и от меня:
Умеет в структуры, перечислимые, наследования типов.
Умеет в функции и функциональные блоки.
В CodeSys его научили в ООП, но пока не знаю, понравилось ли мне это, пока больше нет.
Умеет FOR, CASE. Чем перекрывает преимущества SFC.

Остальным языкам приходится страдать...