A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus
M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.