Introduction to the special section on critical systems modelling and security. (October 2015)