@inproceedings{ASE-2019-Wu0C,
	author        = "ZhiWei Wu and Jing Liu 0012 and Xiang Chen",
	booktitle     = "{Proceedings of the 34th International Conference on Automated Software Engineering}",
	doi           = "10.1109/ASE.2019.00143",
	isbn          = "978-1-7281-2508-4",
	pages         = "1216--1217",
	publisher     = "{IEEE}",
	title         = "{Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report}",
	year          = 2019,
}