SMS dit: Measurement of properties of B0s→ μ+μ− decays and search for B0→ μ+μ− with the CMS experiment; Journal of High Energy Physics; Vol. 2020, iss. 4