'Static testing' (Healthcare Technologies, 2018), 'Engineering High Quality Medical Software: Regulations, standards, methodologies and tools for certification', Chap. 9, pp. 107-120, DOI: 10.1049/PBHE012E_ch9
IET Digital Library, https://digital-library.theiet.org/;jsessionid=y9r3q28mtgd9.x-iet-live-01content/books/10.1049/pbhe012e_ch9