@InProceedings{sanchez05thread,
  author = 	 {C\'esar S\'anchez and Henny B. Sipma and Venkita
                  Subramonian and Christopher Gill and Zohar Manna},
  title = 	 {Thread Allocation Protocols for Distributed
                  Real-time and Embedded Systems},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {25th {IFIP} {WG} 2.6 International Conference on Formal
                  Techniques for Networked and Distributed Systems (FORTE'05)},
  pages = 	 {159--173},
  year = 	 {2005},
  editor = 	 {Farn Wang},
  volume = 	 {3731},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  address = 	 {Taipei, Taiwan},
  month = 	 {October},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTannote = 	 {}
}