Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp. Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Automated Software Engineering, 14(2):129-178, 2007. [doi]
Abstract is missing.