[…] For a second example, see "On the correctness of a discrete simulation." …