Source: https://frama-c.com/download/acsl-tutorial.pdf