Sanguk Noh Gihyun Jung Eunkyoung Go Unseob Jeong Compiling threats into inductive rules for autonomous situation awareness. 437-442 2007 SMC http://dx.doi.org/10.1109/ICSMC.2007.4413910 conf/smc/2007 db/conf/smc/smc2007.html#NohJGJ07