Formal Safety Assessment and Improvement of DDS Protocol for Industrial Data Distribution Service. - Jinze Du; Chengtai Gao; Tao Feng 007 (Future Internet, 2023)