HW-SW design flow of a nano-satellite using UML and CodeSimulink co-design environment | IEEE Conference Publication | IEEE Xplore