@article{CIA:IET-08,
  author = "Pavl\'{i}na Va\v{r}ekov\'{a} and Barbora Zimmerova and Pavel Moravec and Ivana \v{C}ern\'{a}",
  title = "{Formal Verification of Systems with an Unlimited Number of Components}",
  journal = "To appear in the IET Software journal, 31 pages",
  publisher = "IET Digital Library",
  year = "2008"
}