Idir Zerrouk First Year Research InternEmail:IdirZerrouk@cmail.carleton.caDepartment of Systems and Computer Engineering First Year Research Intern Project Topic: Specification Generator for C2KA Tool Support Active in CyberSEA: May 2018–July 2018