Construction of Verified Models for Systems Represented as Networks | Publicación