Introduction to the special section on critical systems modelling and security