Paper  bibtex   

@inproceedings{struber2017transformation,
  title={Transformation of Finite State Automata to Regular Expressions Using Henshin},
  author={Str{\"u}ber, Daniel},
  booktitle={TTC'17: Transformation Tool Contest},
  pages={81--85},
  year={2017},
  organization={CEUR-WS.org},
  url_Paper = {http://ceur-ws.org/Vol-2026/paper10.pdf},
  keywords = {Model-Driven Engineering},
  bibbase_note = {<span style="color: red">Most Complete Solution Award.</span>}
}