Certification for μ-Calculus with Winning Strategies. - Martin Hofmann 001; Christian Neukirchen; Harald Rueß (SPIN, 2016)