Hülsbusch, M. Application Conditions for Reactive Systems With Applications to Bisimulation Theory. eceasst 2011, 38.