Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer (ArXiv cs.GL Recent Papers, 2026)