Statistiques de visualisation de la vidéo Rtss 2021 - enumeration and deduction driven co-synthesis of ccsl