Automata-based approach for kernel trace analysis. - Gabriel Matni; Michel R. Dagenais (CCECE, 2009)