SimPlan in the fight against cyber security threats