DÁVID, Ákos; POZSGAI, Tamás; KOZMA, László. Extending a system with verified components. Periodica Polytechnica Electrical Engineering, [S. l.], v. 51, n. 3-4, p. 133–139, 2007. 10.3311/pp.ee.2007-3-4.07. Disponível em: https://pp.bme.hu/ee/article/view/884. Acesso em: 5 may. 2024.