Building Models in Pairs for Cross‐Verification Using SDL and DEVS | Publicación