A formal approach to automatically analyse extra‐functional properties in mobile applications | Publicación