Ormandjieva, Olga (2002) Deriving new measurements for real-time reactive systems. PhD thesis, Concordia University.