M. Hülsbusch, “Application Conditions for Reactive Systems with Applications to Bisimulation Theory”, ECEASST, vol. 38, May 2011.