Formal verification of static software models in MDE: A systematic review | Publicación