Dávid, Ákos, Pozsgai, T. and Kozma, L. (2007) “Extending a system with verified components”, Periodica Polytechnica Electrical Engineering, 51(3-4), pp. 133–139. 10.3311/pp.ee.2007-3-4.07.