A Quality-Increasing Development Process for LEO Satellite Software | IEEE Conference Publication | IEEE Xplore