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