@techreport{bortzmeyer-language-state-machines-01,
    number =    {draft-bortzmeyer-language-state-machines-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-bortzmeyer-language-state-machines/01/},
    author =    {Stéphane Bortzmeyer},
    title =     {{Cosmogol: a language to describe finite state machines}},
    pagetotal = 23,
    year =      2006,
    month =     nov,
    day =       13,
    abstract =  {Several RFCs contain a state machine to describe a protocol. There is no standard way of describing such a machine, the most common way being an ASCII-art diagram. This document specifies an other solution: a domain-specific language for finite state machines. It allows state machine descriptions to be automatically checked and may be translated into other formats. Its purpose is to provide a stable reference for RFCs which use this mini-language.},
}