Blackadar, B. The Homotopy Lifting Theorem for Semiprojective $C^*$-Algebras. Math. Scand. 2016, 118 (2), 291-302. https://doi.org/10.7146/math.scand.a-23691.