Detecting synchronisation of biological oscillators by model checking
scientific article; zbMATH DE number 5707084
scientific article