Optimal scheduling of a repair shipyard based on Supervisory Control Theory. - Denis C. Pinha; Max Hering de Queiroz; José E. R. Cury (CASE, 2011)