Dávid, Ákos, Tamás Pozsgai, and László Kozma. 2007. “Extending a System With Verified Components”. Periodica Polytechnica Electrical Engineering 51 (3-4):133-39. https://doi.org/10.3311/pp.ee.2007-3-4.07.