Kp. Modelowanie procesów produkcyjnych / Agnieszka Lasota. - Warszawa, cop. 2012. Red. nauk.

Strona Instytutu Informatyki i Elektroniki Wydziału Elektrotechniki, Informatyki i Telekomunikacji Uniwersytetu Zielonogórskiego, 03.04.12 http://www.iie.uz.zgora.pl/iie_pracownicy.php?uid=539

Metody formalnej analizy systemów wbudowanych czasu rzeczywistego / Jarosław Baniewicz ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej. - Kraków, 2018. Recenzent