A GCC-based checker for compliance with MISRA-C's single-translation-unit rules. - Chih-Yuan Chen; Yung-An Fang; Guan-Ren Wang; Peng-Sheng Chen (Connect. Sci., 2023)