%0 Journal Article
%T Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow
%A Lin, Qian-Qian
%A Wang, Shu-Ling
%A Zhan, Bo-Hua
%A Gu, Bin
%J Journal of Computer Science and Technology
%V 35
%N 6
%P 1324-1342
%@ 1000-9000
%D 2020-11-30
%I Springer Singapore
%~ DeepDyve