Return to Issue Details Model synthesizer for cyberattack monitoring systems Download Download PDF