Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. - Haitao Zhang; Ayang Tuo; Guoqiang Li 001 (DATE, 2019)