Dávid, Ákos et al. 2007. Extending a system with verified components. Periodica Polytechnica Electrical Engineering. 51, 3-4 (Jan. 2007), 133–139. https://doi.org/10.3311/pp.ee.2007-3-4.07.