Rodin chapter in document safet activity in VnV