Updates by ASTEE