High Assurance Systems Engineering (HASE), IEEE International Symposim on