@inproceedings{JH-BZ-LP:RTSS-WIP06,
  author    = {Jérôme Hugues and Bechir Zalila and Laurent Pautet},
  title     = {{Middleware and Tool suite for High Integrity Systems}},
  booktitle = {{Work-in-Progress session of the Real-Time Systems Symposium (RTSS-WiP)}},
  address   = {Rio de Janeiro, Brazil},
  pages     = {1-4},
  year      = {2006},
  month     = {dec},
  note      = {Ranked A* on CORE},
}