R35PSR – Programování systémů reálného času
Official course pages are at
https://support.dce.felk.cvut.cz/psr/
.