METASAT: Modular Model-Based Design and Testing for Applications in Satellites | Publicación