Model Based System for Software Change Analysis for Embedded Systems on Spacecraft | IEEE Conference Publication | IEEE Xplore