@conference{ niebert02verification,
  author = "P. Niebert and M. Mahfoudh and E. Asarin and M. Bozga and N. Jain and O.
    Maler",
  title = "Verification of timed automata via satisfiability checking",
  text = "P. Niebert, M. Mahfoudh, E. Asarin, M. Bozga, N. Jain, and O. Maler. Verification
    of timed automata via satisfiability checking. In Proc. Formal Techniques
    in Real-Time and FaultTolerant Systems FTRTFT'02, volume 2469 of Lecture
    Notes in Computer Science, pages 225--244, 2002.",
  booktitle = "Proc. Formal Techniques
    in Real-Time and FaultTolerant Systems FTRTFT'02, volume 2469 of Lecture
    Notes in Computer Science",
  pages = "225--244",
  year = "2002" }