@article{VZMC08,
 author = {Pavlína Vařeková and Barbora Zimmerová and Pavel Moravec and Ivana Černá},
 journal = {IET Software journal},
 month = {December},
 number = {6},
 pages = {532--546},
 publisher = {Institution of Engineering and Technology (IET)},
 title = {{Formal Verification of Systems with an Unlimited Number of Components}},
 volume = {2},
 year = {2008}
}