Within the scope of the OMEGA project several industrial case studies are being performed in order to apply the OMEGA techniques and tools to UML modelling and specification of the real-time embedded systems to enable formal verification of the UML models. In this talk the case study of the mission-critical on-board system for the F-16 fighter aircraft will be presented, providing insights into the issues and challenges of the aerospace systems development, influence of the modern software system development trends, and introduction of the formal techniques into the traditional software system development lifecycle.