Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. - Nico Wallmeier; Patrick Hütten; Wolfgang Thomas (CIAA, 2003)