90153SISTEMAS DE TEMPO-REALPTptVocabulário Controlado da USP active approved SISTEMAS DE TEMPO-REALSISTEMAS DE TEMPO-REALBT18765CIÊNCIA DA COMPUTAÇÃOPT