I proved this in a very long paper: the composition of smooth fiber bundle maps is a smooth fiber bundle map. See page 23 of this paper

In the category of finite dimensional manifolds, I proved this in a very long paper (p. 23): the composition of smooth fiber bundle maps is a smooth fiber bundle map. Spanier's counterexample is not a finite dimensional manifold.