S. Arun-Kumar, Divyanshu Bagga: Parameterised Bisimulations: Some Applications. RAMiCS 2014: 208-225