Article Title,Year,Volume,Issue,Page Range,Author
Dependability evaluation of an air traffic control computing system,1999,35,3-4,253-273,Fota