Emerging high assurance solutions for safe, secure, and reliable software systems. Issue 3 (12th March 2018)