Teusner, R.; Gabrysiak, G.; Richter, S.; Kleff, S. Interactive Strategy-Based Validation of Behavioral Models. eceasst 2013, 58.