Bisimulation, the supervisory control problem and strong model matching for finite state machines
controllability of a language with respect to another language
scientific article; zbMATH DE number 1230702