Model-Based Cyber Security. - Galen Rasche; Erin Allwein; Michael S. Moore; Ben Abbott (ECBS, 2007)