A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems - Vouffo Feudjio, Alain-Georges (Verfasser) (Universitätsbibliothek der Technischen Universität Berlin, 2011)