@inproceedings{BrSc09a,
  key         ={BrSc09a},
  author      ={J. Brandt and K. Schneider},
  title       ={Static Data-Flow Analysis of Synchronous Programs},
  booktitle   ={International Conference on Formal Methods and Models for Co-Design (MEMOCODE)},
  address     ={Cambridge, Massachusetts, USA},
  editor      ={R. Bloem and P. Schaumont},
  publisher   ={IEEE Computer Society},
  pages       ={161-170},
  year        ={2009},
  remark      ={rsg}
}