@inproceedings{Andronick_N_08,
    address          = {Fortaleza, Ceara, Brazil},
    author           = {June Andronick and Quang-Huy Nguyen},
    booktitle        = {Proceedings of the ACM Symposium on Applied Computing},
    month            = mar,
    pages            = {352--359},
    paperUrl         = {https://trustworthy.systems/publications/papers/Andronick_N_08.pdf},
    publisher        = {ACM},
    title            = {{Certifying an Embedded Remote Method Invocation Protocol}},
    year             = {2008}
  }