1. Apuniewicz, S. (1969). Uklady przekaźnikowe w au-tomatyce zabezpieczenia ruchu kolejowego. Wydawnicta Politechniki Warszawskiej.
2. Borecký, J., Kubalík, P. and Kubátová, H. (2009). Reliable Railway Station System based on Regular Structure imple- mentedinFPGA. Proc. of12thEUROMICRO Conference on Digital System Design, Patras, p.348-354.
3. Zastosowanie programowalnych struktur logicznych w urzadzeniach sterowania ruchem kolejowym;Kawalec;Problemy Kolejnictwa,2005
4. Kawalec, P. and Rzysko, M. (2013). Weryfikacja równań zaleznościowych z wykorzystaniem symulatorów logicznych na przykładzie zastosowania pakietu Active- HDL. Technika Transportu Szynowego, 10/2013, p.1587– 1594.
5. Kawalec, P. and Rżysko, M. (2014). Algorytmiczne podejście do projektowania logiki zaleznościowej w sys- temach sterowania ruchem kolejowym. Pomiary, Au- tomatyka, Kontrola, 10/2014, p.826-828.