StateLator - Behavioral Code Generation as an Instance of a Model Transformation. - Thomas Behrens; Simon Richards (CAiSE, 2000)

Multi-resolution-Modeling for Testing and Evaluation of VANET Applications. - Manuel Schiller; Thomas Behrens; Alois C. Knoll (ITSC, 2015)