What you're looking for ismight be Quillen's Theorem B. Roughly speaking, it says that if all the "combinatorial homotopy fibers" of f are homotopy equivalent (via base change along morphisms in the poset), then the map is a fibration up tocombinatorial homotopy (meaning the inclusion of the ordinary fiber intofibers are weakly equivalent to the homotopy fiber is ahonest homotopy equivalence)fibers. It originally appeared in Higher Algebraic K-theory, I (Lecture Notes in Math 341).