Strona Instytutu Informatyki i Elektroniki Wydziału Elektrotechniki, Informatyki i Telekomunikacji Uniwersytetu Zielonogórskiego, 03.04.12
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.