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