@misc{16792,
  author = {Liping Han},
  title = {Are Elevator Software Robust against Uncertainties? Results and Experiences from an Industrial Case Study},
  year = {2022},
  journal = {Singapore},
}