HASE – High-Assurance Systems Engineering