Application of design for verification with concurrency controllers to air traffic control software. - Aysu Betin-Can; Tevfik Bultan; Mikael Lindvall; Benjamin Lux; Stefan Topp (ASE, 2005)

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. - Aysu Betin-Can; Tevfik Bultan; Mikael Lindvall; Benjamin Lux; Stefan Topp (Autom. Softw. Eng., 2007)