supervisory timer - Spanish English Dictionary