R. Teusner, G. Gabrysiak, S. Richter, and S. Kleff, “Interactive Strategy-Based Validation of Behavioral Models”, eceasst, vol. 58, Jul. 2013.