@techreport{mt-ufmrg-teep-sample-01,
    number =    {draft-mt-ufmrg-teep-sample-01},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-mt-ufmrg-teep-sample/01/},
    author =    {Cory Myers and Hannes Tschofenig},
    title =     {{A Usable Formal Methods Sample Problem from TEEP}},
    pagetotal = 9,
    year =      2023,
    month =     nov,
    day =       5,
    abstract =  {This draft follows the invitation of {[}I-D.farrell-ufmrg-sample{]} to propose another sample problem for demonstration, training, and evaluation of formal methods in IETF work. It draws on recent work from the Software Updates for the Internet of Things {[}suit{]} and Trusted Execution Environment Provisioning {[}teep{]} working groups to define a sample modeling problem for a novel rather than a familiar IETF protocol.},
}