A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications. - Dip Goswami; Pradeep Seshadri; Unmesh D. Bordoloi; Samarjit Chakraborty (CASE, 2009)