@inbook{BBB2012,
 address = {Berlin, Heidelberg},
 author = {Jiří Barnat and Petr Bauch and Luboš Brim},
 booktitle = {Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
 doi = {10.1007/978-3-642-33826-7_4},
 editor = {Eleftherakis, George
and Hinchey, Mike
and Holcombe, Mike},
 isbn = {978-3-642-33826-7},
 pages = {48--62},
 publisher = {Springer Berlin Heidelberg},
 title = {Checking Sanity of Software Requirements},
 url = {http://dx.doi.org/10.1007/978-3-642-33826-7_4},
 year = {2012}
}