@inproceedings{Winwood_KC_06,
    address          = {Venice, Italy},
    author           = {Simon Winwood and Gerwin Klein and Manuel Chakravarty},
    booktitle        = {Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation},
    isbn             = {3-540-71409-X},
    pages            = {111--126},
    paperurl         = {https://trustworthy.systems/publications/papers/Winwood_KC_06.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {On the Synthesis of Proof-Carrying Temporal Reference Monitors},
    volume           = {4407},
    year             = {2006}
  }