IC3: Inter-Component Communication Analysis with COAL For instructions, see http://siis.cse.psu.edu/ic3/.