A New Variational Association Process for the Verification of Geometrical Specifications. - Jean-Yves Choley; Alain Rivière; André Clement; Pierre Bourdet (J. Comput. Inf. Sci. Eng., 2007)