Duration Properties over Real Time System Designs. - Víctor A. Braberman; Fabio Pieniazek (IWSSD, 2000)