K. Papageorgiou and D. Lekkas, “Verification in theory and in the sciences”, EML, no. 3, pp. 25–48, Jan. 2020.