Statistical model checking of cyber-physical systems control software

Li Jun Shan, Xing She Zhou, Yu Ying Wang, Lei Zhao, Li Jing Wan, Lei Qiao, Jian Xin Cehn