Gallego García, Claudia Liliana Parámetros metodológicos para el desarrollo de sistemas distribuidos en tiempo real aplicando métodos formales / - 2004 Referencia Dewey Class. No.: TI410/BT0271/2004