Zahid Anwar, Ravinder Shankesi, Roy H. Campbell: Automatic security assessment of critical cyber-infrastructures. DSN 2008: 366-375