selected publications conference paper Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development. . 2015