Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development | IEEE Conference Publication | IEEE Xplore