Static verification of ptolemyrely programs using openJML | Publicación