@article{Tianyi Wu:1111, author = {Tianyi Wu, Zhiqiu Huang, Zhibin Yang, Tiexin Wang, and Lei Xue}, title = {Automatic Generation of the AADL ALISA Verification Plan with ATL}, publisher = {Int J Performability Eng}, year = {2017}, journal = {International Journal of Performability Engineering}, volume = {13}, number = {7}, eid = {1111}, numpages = {11}, pages = {1111}, keywords = {}, url = {https://www.ijpe-online.com/EN/abstract/article_3819.shtml}, doi = {10.23940/ijpe.17.07.p14.11111122} }