Dávid Ákos, Pozsgai T, Kozma L. Extending a system with verified components. Period. Polytech. Elec. Eng. [Internet]. 2007 Jan. 1 [cited 2024 May 6];51(3-4):133-9. Available from: https://pp.bme.hu/ee/article/view/884