@Article{Abadi:94:OFRRT,
  author = {Mart{\'\i}n Abadi and Leslie Lamport},
  title = {An Old-Fashioned Recipe for Real Time},
  pages = {1543--1571},
  journal      = {ACM ToPLaS},
  year         = {1994},
  volume       = {16},
  number       = {5},
  publisher = {ACM Press},
  month        = sep
}