Modular synthesis of efficient schedules in a timed discrete event plant. - René K. Boel; Francisco J. Montoya (CDC, 2000)

Safe Supervisory Control Under Observability Failure. - Antonia M. Sánchez; Francisco J. Montoya (Discret. Event Dyn. Syst., 2006)