Formal Abstract Modeling of Dynamic Multiplex Networks | Publicación