2016-08-032016-08-03https://digital.cic.gba.gob.ar/handle/11746/3289Sistemas distribuidos de tiempo real: modelización y verificación de las restricciones de tiempoDocumento de conferencia