Zaslat SMS: Approximate bisimulation minimisation