@misc{Huzar_Zbigniew_LOTOS_2007,
 author={Huzar, Zbigniew},
 year={2007},
 rights={Wszystkie prawa zastrzeżone (Copyright)},
 publisher={Oficyna Wydawnicza Politechniki Wrocławskiej},
 language={pol},
 title={LOTOS - język formalnych specyfikacji systemów informatycznych},
 type={książka},
 keywords={rozszerzenia czasowe, rozszerzenia wydajnościowe, system czasu rzeczywistego, metodyka stosowania LOTOSa},
}