@ARTICLE{
author={Liu Ailun,Zhu Huibiao,Popovic Miroslav V,Xiang Shuangqing,Zhang Lei},
year={2020},
title={Formal analysis and verification of the PSTM architecture using CSP},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={165},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Liu Ailun,Popovic Miroslav V,Zhu Huibiao},
year={2017},
title={Formalization and Verification of the PSTM Architecture},
journal={2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017)},
volume={},
number={},
pages={427-435},
document_type={Proceedings Paper},
}