Sousa AL, Pereira JO, Oliveira R, Moura F.? 2004.??Semantic reliability on the Database State Machine. JISBD - Jornadas de Ingenieria del Software y Bases de Datos.