@inproceedings{WinwoodKC-06,
  author =       {Simon Winwood and Gerwin Klein and Manuel M. T. Chakravarty},
  title =        {On the automated synthesis of proof-carrying temporal reference monitors},
  booktitle =    {International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 06)},
  year =      {2007},
  series =    {LNCS},
  volume =    4407,
  editor =    {Germán Puebla},
  address =   {Italy},
  pages =     {111--126},
  publisher = {Springer}
}