NIMBUS: A Framework for Static Analysis and Simulation of System-level Inter-component Communication