Formal methods in context [Los métodos formales en contexto] (2014)