По вопросу № 3 - поправка не SysLibTime а SysLibFile.
SFC - это машина состояний. Чем то напоминает сеть Петри.
В любой момент времени одно (или несколько при использовании параллельных разветвителей) состояний активны. После активного состояния идет переход. Если он выполняется (условие истинно), следущее состояние становится активным. Для каждого состояния можно задать действия выполняемые при определенных условиях (например вход в состояние, выход, пока активно).