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