VESTA: a system-level verification environment based on C++ | Publicación