@article{BBS10,
 author = {Jiří Barnat and Luboš Brim and David Šafránek},
 journal = {Briefings in Bioinformatics},
 keywords = {divine},
 number = {3},
 pages = {301--312},
 title = {{High-Performance Analysis of Biological Systems Dynamics with the DiVinE Model Checker}},
 url = {http://dx.doi.org/10.1093/bib/bbp074},
 volume = {11},
 year = {2010}
}