Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks | IEEE Conference Publication | IEEE Xplore