@Article{brim05sttt,
  author = 	 {L. Brim and K. Yorav and J. Zidkova},
  title = 	 {{Assumptions Based Distribution of CTL Model-Checking}},
  journal = 	 {International Journal on Software Tools for Technology Transfer (STTT)},
  year = 	 {2005},
  volume = 	 {7},
  number = 	 {1},
  pages = 	 {61--73}
}