Model-Driven Design of Real-Time Software for an Experimental Satellite | Publicación