Modeling for Partitioned and Multi-core Flight Software Systems: (Instrument Software Framework) | IEEE Conference Publication | IEEE Xplore