Applying a Software Framework for Supervisory Control of a PLC-based Discrete Event System. - Belén Curto; Vidal Moreno; Carlos Fernández Caramés; Raúl Alves Santos; A. Chehayeb (ICINCO-RA, 2009)