To cite nfer in publications use:

Kauffman S, Havelund K, Joshi R, Fischmeister S (2018). “Inferring Event Stream Abstractions.” Formal Methods in System Design, 53, 54–82. doi: 10.1007/s10703-018-0317-z, https://doi.org/10.1007/s10703-018-0317-z.

Corresponding BibTeX entry:

  @Article{,
    title = {Inferring Event Stream Abstractions},
    author = {Sean Kauffman and Klaus Havelund and Rajeev Joshi and
      Sebastian Fischmeister},
    journal = {Formal Methods in System Design},
    year = {2018},
    volume = {53},
    pages = {54--82},
    doi = {10.1007/s10703-018-0317-z},
    url = {https://doi.org/10.1007/s10703-018-0317-z},
  }