A framework for modular analysis and exploration of heterogeneous embedded systems