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