A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study. - Mario Bernhart; Stefan Reiterer; Kilian Matt; Andreas Mauczka; Thomas Grechenig (HASE, 2011)