Checking SysML Models for Co-simulation | Publicación