@article{7658,
      author        = "Salah, A.",
      title         = "{A Use case driven synthesis of state diagrams}",
      number        = "7658",
      pages         = "pp. 299-310",
      year          = "2004",
}