@inproceedings{gm05formats,
        author = {R. Giacobazzi and I. Mastroeni},
        title = {Timed Abstract Non-Interference},
        booktitle = {International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05).},
        volume = {3829},
        series = {Lecture Notes in Computer Science},
        publisher = {Springer-Verlag},
        pages = {289-303},
        year = 2005}