Interactive Strategy-Based Validation of Behavioral Models. - Ralf Teusner; Gregor Gabrysiak; Stefan Richter 004; Stefan Kleff (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)