@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>} }