@article{134,
  keywords = {network code},
  author = {Sebastian Fischmeister and Oleg Sokolsky and Insup Lee},
  title = {A Verifiable Language for Programming Real-Time Communication Schedules},
  year = {2007},
  journal = {IEEE Transactions on Computers},
  volume = {56},
  pages = {1505-1519},
  month = {11/2007},
  issn = {0018-9340},
  doi = {10.1109/TC.2007.70747},
}