Before revision: A thorough presentation is available in .
After revision: of VDM techniquesA thorough presentation is available in .