SoCRocket - Transaction-Level Modeling Framework for Space Applications