Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems | IEEE Conference Publication | IEEE Xplore