@misc{16677,
  author = {Liping Han and Tao Yue and Shaukat Ali and Aitor Arrieta and Maite Arratibel},
  title = {Are Elevator Software Robust Against Uncertainties? Results and Experiences from an Industrial Case Study},
  year = {2022},
  journal = {The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  pages = {1331-1342},
  month = {11/2022},
  publisher = {ACM},
}