LOTOS - język formalnych specyfikacji systemów informatycznych - Huzar, Zbigniew (Oficyna Wydawnicza Politechniki Wrocławskiej, 2007)
Keywords: rozszerzenia czasowe; rozszerzenia wydajnościowe; system czasu rzeczywistego; metodyka stosowania LOTOSa