@article{LukoschusvH07,
  author = {Jan Lukoschus and Reinhard von Hanxleden},
  title = {Removing Cycles in {E}sterel Programs},
  journal = {EURASIP Journal on Embedded Systems, Special Issue on Synchronous Paradigms in Embedded Systems},
  year = {2007},
  note = {Article ID 48979, 23 pages},
}