Are Elevator Software Robust against Uncertainties? Results and Experiences from an Industrial Case StudyAuthorsL. HanStatusPublishedPublication typeTalks InvitedYear of publication2022JournalSingaporePublisher-Citation key16792Google Scholar BibTex