SMS: Approximate bisimulation minimisation