Fin, Fummi, 2002. Protected IP-core test generation, in: . ACM Press.. https://doi.org/10.1145/505318.505320