Wang, Z., Zhu, X., Wang, H., Yu, Y., Lan, Y. (2025). KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. PLoS ONE. https://doi.org/10.1371/journal.pone.0338821