selected publications conference paper FERAL — Framework for simulator coupling on requirements and architecture level. Formal Methods. 11-22. 2013