@InProceedings{BBL07,
  author =       "Ji\v{r}\'{\i} Barnat and Lubo\v{s} Brim and Martin Leucker",
  title =        "{Parallel Model Checking and the {FMICS-jETI} Platform}",
  booktitle =    "The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007)",
  year =         "2007",
  publisher =    "IEEE Computer Society Press"
}