“Verifiable Template Development for HDL- Descriptions” (2007) Elektronika ir Elektrotechnika, 75(3), pp. 53–56. Available at: https://eejournal.ktu.lt/index.php/elt/article/view/10471 (Accessed: 5 December 2025).