Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering