K
[KPA03] Kåre J. Kristoffersen, Christian Pedersen, and Henrik Reif Andersen. Runtime Verification of Timed LTL Using Disjunctive Normalized Equation Systems. In RV'03, Electronic Notes in Theoretical Computer Science 89(2). Elsevier, 2003. 
@inproceedings{rv2003-KPA,
  author =              {Kristoffersen, K{\aa}re J. and Pedersen, Christian
                         and Andersen, Henrik Reif},
  title =               {Runtime Verification of Timed {LTL} Using
                         Disjunctive Normalized Equation Systems},
  editor =              {Cook, Byron and Stoller, Scott and Viser, Willem},
  booktitle =           {{P}roceedings of the 3rd {I}nternational {W}orkshop
                         on {R}untime {V}erification ({RV}'03)},
  acronym =             {{RV}'03},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {89},
  number =              {2},
  year =                {2003},
  confyear =            {2003},
  confmonth =           {7},
}
List of authors