D.04.6. Techniques and Tools for Model-based Analysis Vs1.8 incl. Handbooks and Requirements Analysis Update