Dylan LéveilléFirst Year Research InternEmail:DylanLeveille@cmail.carleton.caLinkedIn:ConnectDepartment of Systems and Computer Engineering First Year Research Intern Project Topic: Specification Generator for C2KA Tool Support Active in CyberSEA: May 2018–July 2018