A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications | IEEE Conference Publication | IEEE Xplore