Transaction-Level Modeling Framework for Space Applications
Check for boost libraries
Present boost options here