Temporal Logic Applied in Information Systems. - Silvia Rissino; Germano Lambert-Torres; Helga Gonzaga Martins (LAPTEC, 2007)

Non-Intrusive Similar Loads Identification. - Aloisio Paixao; Wanderley Celeste; Luis Otavio Rigo Junior; Daniel J. C. Coura; Hélder Rocha; Leonardo José Silvestre; Silvia Rissino (IEEE DataPort, 2019)