EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT. - Tomohiko Takagi; Rikuto Otake; Sho Matsumoto (COMPSAC, 2024)