Poster: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property | IEEE Conference Publication | IEEE Xplore