%0 Journal Article
%A Zhang, Yu
%A Huang, Mengxing
%A Wang, Hao
%A Feng, Wenlong
%A Cheng, Jieren
%A Zhou, Hui

%D 2019
%J Computers, Materials \& Continua

%@ 1546-2226
%V 58
%N 1
%P 287--306

%T A Co-Verification Interface Design for High-Assurance CPS
%M doi:10.32604/cmc.2019.03736
%U http://www.techscience.com/cmc/v58n1/23005