@Article{brim-grumberg04sttt,
  author = 	 {L. Brim and O. Grumberg},
  title = 	 {{Special section on parallel and distributed model checking:
Introductory paper}},
  journal = 	 {International Journal on Software Tools for Technology Transfer (STTT)},
  year = 	 {2005},
  volume = 	 {7},
  number = 	 {1},
  pages = 	 {1--3}
}