Missing citation

1.3
The footnote in para. 1 for correct-by-construction process does not refer to an actual paper. Either give a proper citation for the paper, or if it hasn’t been published yet, say so, and don’t cite it.

Start by locating section 1.3 and the footnote in its first paragraph about the correct-by-construction process. Verify whether the cited paper exists and, if it does, add a proper citation; otherwise state that it has not been published and remove the citation. Done means the footnote no longer refers to a nonexistent paper.

Written by the indexing model from the issue text.