'IEEE 1012 and ISO/IEC 29119: standards for software verification' (Healthcare Technologies, 2018), 'Engineering High Quality Medical Software: Regulations, standards, methodologies and tools for certification', Chap. 8, pp. 95-105, DOI: 10.1049/PBHE012E_ch8 IET Digital Library, https://digital-library.theiet.org/;jsessionid=3ort2mukbieg9.x-iet-live-01content/books/10.1049/pbhe012e_ch8