Constance L. Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton. Building high assurance human-centric decision systems. Automated Software Engineering, 22(2):159-197, 2015. [doi]
Abstract is missing.