Metody formalnej analizy systemów wbudowanych czasu rzeczywistego | Biblioteka Główna Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie