Validation of a Methodology for Formalizing Knowledge on Security in IoMT Applications | Publicación