R. Evertsz and J. Thangarajah, “A Framework for Engineering Human/Agent Teaming Systems”, AAAI, vol. 34, no. 03, pp. 2477–2484, Apr. 2020.