I think this can be treated using a gluing theorem for homotopy equivalences which is discussed in my answer to this stackexchange question. You have to represent the realisation of a simplicial space as a repeated adjunction space, but that is not too hard.
Ronnie Brown
- 12.3k
- 1
- 63
- 81