@misc(coin-homepage,
 title        = "{CoIn Homepage}",
 url          = "http://paradise.fi.muni.cz/coin/",
)
@misc(divine-homepage,
 title        = "{DiVinE Homepage}",
 url          = "http://divine.fi.muni.cz/",
)
@inproceedings(Automata:Interface:interface_automata,
 author       = "L. de Alfaro and T. A. Henzinger",
 year         = "2001",
 title        = "Interface Automata",
 booktitle    = "Proceedings of FSE'01",
 publisher    = "ACM Press",
 pages        = "109--120",
 doi          = "10.1145/503209.503226",
)
@inproceedings(BBR10,
 author       = "J. Barnat and L. Brim and P. Ro\v {c}kai",
 year         = "2010",
 title        = "{Parallel Partial Order Reduction with Topological Sort Proviso}",
 booktitle    = "Software Engineering and Formal Methods (SEFM 2010)",
 publisher    = "IEEE Computer Society Press",
 pages        = "222--231",
 doi          = "10.1109/SEFM.2010.35",
)
@inproceedings(BBCR10,
 author       = "J. Barnat and L. Brim and M. \v {C}e\v {s}ka and P. Ro\v {c}kai",
 year         = "2010",
 title        = "{DiVinE: Parallel Distributed Model Checker (Tool paper)}",
 booktitle    = "HiBi/PDMC 2010",
 publisher    = "IEEE",
 pages        = "4--7",
)
@inproceedings(CIA:IFM-09,
 author       = "N. Bene\v {s} and L. Brim and I. {\v {C}}ern\'{a} and J. Sochor and P. Va\v {r}ekov\'{a} and B. Zimmerova",
 year         = "2009",
 title        = "{Partial Order Reduction for State/Event LTL}",
 booktitle    = "IFM'09",
 series       = "LNCS",
 volume       = "5423",
 publisher    = "Springer",
 pages        = "307--321",
 doi          = "10.1007/978-3-642-00255-7\_21",
)
@article(CIA:PDMC-08-ENTCS,
 author       = "N. Bene\v {s} and I. \v {C}ern\'{a} and J. Sochor and P. Va\v {r}ekov\'{a} and B. Zimmerova",
 year         = "2008",
 title        = "{A Case Study in Parallel Verification of Component-Based Systems}",
 journal      = "ENTCS",
 volume       = "220",
 number       = "2",
 doi          = "10.1016/j.entcs.2008.11.014",
)
@article(CIA:SAVCBS-05-SEN,
 author       = "L. Brim and I. \v {C}ern\'{a} and P. Va\v {r}ekov\'{a} and B. Zimmerova",
 year         = "2006",
 title        = "{{C}omponent-{I}nteraction Automata as a Verification-Oriented Component-Based System Specification}",
 journal      = "ACM SIGSOFT Software Engineering Notes",
 volume       = "31",
 number       = "2",
 doi          = "10.1145/1108768.1123063",
)
@mastersthesis(milan-diplomka,
 author       = "M. K{\v r}iv{\'a}nek",
 year         = "2011",
 title        = "Verification Tool for Component Systems",
 school       = "Faculty of Informatics, Masaryk University",
 address      = "Brno",
 url          = "http://is.muni.cz/th/172831/fi_m/thesis-oneside.pdf",
)
@inproceedings(CBSE:Lumpe,
 author       = "M. Lumpe and L. Grunske and J. Schneider",
 year         = "2008",
 title        = "State Space Reduction Techniques for Component Interfaces",
 booktitle    = "CBSE 2008",
 series       = "LNCS",
 volume       = "5282",
 publisher    = "Springer",
 pages        = "130--145",
 doi          = "10.1007/978-3-540-87891-9\_9",
)
@article(Lynch89anintroduction,
 author       = "N. A. Lynch and M. R. Tuttle",
 year         = "1989",
 title        = "An introduction to input/output automata",
 journal      = "CWI Quarterly",
 volume       = "2",
)
@inproceedings(CoCoME,
 author       = "B. Zimmerova and P. Va{\v {r}}ekov{\'a} and N. Bene{\v {s}} and I. {\v {C}}ern{\'a} and L. Brim and J. Sochor",
 year         = "2008",
 title        = "Component-Interaction Automata Approach (CoIn)",
 booktitle    = "The Common Component Modeling Example",
 series       = "LNCS",
 volume       = "5153",
 publisher    = "Springer",
 pages        = "146--176",
 doi          = "10.1007/978-3-540-85289-6\_7",
)