@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 = "IET Software journal",
  publisher = "Institution of Engineering and Technology (IET)",
  volume = "2",
  number = "6",
  pages = "532--546",
  year = "2008",
  month = "December",
  doi = "10.1049/iet-sen:20080009"
}