Blackadar, B. The Homotopy Lifting Theorem for Semiprojective $C^*$-Algebras. Math. Scand. 2016, 118, 291-302.