selected publications conference paper FERAL — Framework for simulator coupling on requirements and architecture level. Formal Methods. 11-22. 2013 Comparing design alternatives from field-tested systems to support product line architecture design. . 2005