Fevzi Belli Christof J. Budnik Nimal Nissanke Finite-State Modeling, Analysis and Testing of System Vulnerabilities. 19-33 2004 conf/arcs/2004w ARCS Workshops db/conf/arcs/arcsw2004.html#BelliBN04