@inproceedings{FM-2014-ShanWFZZWQC,
	author        = "Lijun Shan and Yuying Wang and Ning Fu and Xingshe Zhou and Lei Zhao and Lijng Wan and Lei Qiao and Jianxin Chen",
	booktitle     = "{Proceedings of the 19th International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-06410-9_48",
	isbn          = "978-3-319-06409-3",
	pages         = "718--732",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Formal Verification of Lunar Rover Control Software Using UPPAAL}",
	volume        = 8442,
	year          = 2014,
}