PROMELA based formal verification for safety-critical softwareLiang XING, Chengjun DING, Hupeng DU and Chunyan MAJNWPU, 40 5 (2022) 1180-1187DOI: https://doi.org/10.1051/jnwpu/20224051180
