Software model checking in practice: an industrial case study. - Satish Chandra 001; Patrice Godefroid; Christopher Palm (ICSE, 2002)

Evaluation of Tactile Drift Displays in Helicopter. - Patrik Lif; Per-Anders Oskarsson; Johan Hedström; Peter Andersson; Björn Lindahl; Christopher Palm (HCI (2), 2014)