Stav dette: An operation system for industrial processes , application to a glass furnace