@article{Jing LIU:516, author = {Jing LIU, Tengfei LI, Zuohua DING, Yuqing QIAN, Haiying SUN, Jifeng HE}, title = {AADL+: a simulation-based methodology for cyber-physical systems}, publisher = {Front. Comput. Sci.}, year = {2019}, journal = {Frontiers of Computer Science}, volume = {13}, number = {3}, eid = {516}, numpages = {22}, pages = {516}, keywords = {AADL;cyber-physical systems (CPS);simulation;OSATE;lunar rover control system}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_21380.shtml}, doi = {10.1007/s11704-018-7039-7} }