Testing methods for X-machines: a review. - Kirill Bogdanov 002; Mike Holcombe; Florentin Ipate; L. Seed; Salim K. Vanak (Formal Aspects Comput., 2006)

Teaching Experiences using the RVfpga Package. - Daniel Chaver; Sarah L. Harris; Luis Piñuel; Olof Kindgren; R. Kravitz; José Ignacio Gómez; Fernando Castro; Katzalin Olcoz; Julio Villalba; A. Grinshpun; F. Gabbay; L. Seed; et al. (CoRR, 2024)