@article{roscoe2012timedni,
  title = "Checking noninterference in the timed world",
  author = "Roscoe, A.W and Huang, J.",
  year = "2013",
  journal = "Formal Aspects of Computing",
  volume = "25",
}