Ákos Dávid, T. Pozsgai, and L. Kozma, “Extending a system with verified components”, Period. Polytech. Elec. Eng., vol. 51, no. 3-4, pp. 133–139, Jan. 2007.