Knowledge-based alarm correlation in traffic monitoring and control