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