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

Decompositions of locally compact contraction groups, series and extensions
H. Glöckner, G.A. Willis, Journal of Algebra 570 (2021) 164–214.