Tristan Le Gall, Bertrand Jeannet, Hervé Marchand: Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. CDC/ECC 2005: 30-35