@inproceedings{SRB14CSDR,
 _isbn = {978-3-319-14895-3},
 author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
 booktitle = {{Mathematical and Engineering Methods in Computer Science}},
 doi = {10.1007/978-3-319-14896-0_12},
 editor = {Hliněný, Petr and Dvořák, Zdeněk and Jaroš, Jiří and Kofroň, Jan and
Kořenek, Jan and Matula, Petr and Pala, Karel},
 keywords = {divine,red hat},
 language = {English},
 pages = {135--146},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science},
 title = {{Context-Switch-Directed Verification in DIVINE}},
 volume = {8934},
 year = {2014}
}