@conference { masciRHCH2012,
	title = {Formal verification and the prevention of systematic user error},
	booktitle = {FormalH, Workshop on Formal Methods in Human-Machine Interaction sponsored by the IFIP Working Group 13.5 on Human Error, Safety, and System Development},
	year = {2012},
	author = {Paolo Masci and Ruksenas, Rimvydas and Huang, Huayi and Paul Curzon and Michael Harrison}
}