Efficient stimulus generation for testing embedded distributed systems the FlexRay example | IEEE Conference Publication | IEEE Xplore