DAMASCENO, A. C.; http://lattes.cnpq.br/9758845584752449; DAMASCENO, Adriana Carla. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-03-06)
We can nd many examples of Real-time Systems (RTS) in critical applications such as patient monitoring, air tra c control and others. A failure in this kind of system
can be catastrophic. For example, it can harm human ...