@Article{Cervesato07tdsc,
  title        = "{One Picture is Worth a Dozen Connectives: A Fault-Tree 
                  Representation of NPATRL Security Requirements}",
  author       = "Iliano Cervesato and Catherine Meadows",
  journal      = "IEEE Transactions on Dependable and Secure Computing --- 
                  TDSC",
  year         = "2007",
  month        = "To appear"
}