Are elevator software robust against uncertainties? results and experiences from an industrial case study | Publicación