"Analysing the Kconfig semantics and its analysis tools."

Sascha El-Sharkawy, Adam Krafczyk, Klaus Schmid (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics