@inproceedings{DBLP:conf/issta/Bendik17,
 author = {Jaroslav Bendík},
 booktitle = {{ISSTA}},
 pages = {408--411},
 publisher = {{ACM}},
 title = {Consistency checking in requirements analysis},
 year = {2017}
}