Aiding Planning in Air Traffic Control: An Experimental Investigation of the Effects of Perceptual Information Integration. - Peter M. Moertl; John M. Canning; Scott D. Gronlund; Michael R. P. Dougherty; Joakim Johansson; Scott H. Mills (Hum. Factors, 2002)

Testing telecoms software with quviq QuickCheck. - Thomas Arts; John Hughes 001; Joakim Johansson; Ulf T. Wiger (Erlang Workshop, 2006)