@article {42860,
	title = {Uncertainty-aware Robustness Assessment of Industrial Elevator Systems},
	journal = {ACM Transactions on Software Engineering and Methodology},
	year = {2022},
	publisher = {ACM},
	doi = {10.1145/3576041},
	url = {https://doi.org/10.1145/3576041},
	author = {Han, Liping and Ali, Shaukat and Yue, Tao and Arrieta, Aitor and Arratibel, Maite},
	editor = {Pezze, Mauro}
}
