Image: Fully redundant application in Air Traffic Control