Certification for μ-calculus with winning strategies Category : Research Paper