Source: https://www.axicon.com/assets/manuel-utilisateur-linear-verifier-v3-2020.pdf