publication venue for FERAL — Framework for simulator coupling on requirements and architecture level 2013