Incremental system verification and synthesis of minimally restrictive behaviours. - Bertil A. Brandin; Robi Malik; Petra Dietrich (ACC, 2000)