Detecting synchronisation of biological oscillators by model checking