Introduction to the special section on critical systems modelling and security. (October 2015) - Garcia-Alfaro, Joaquin