Introduction to the special section on critical systems modelling and security. (October 2015) - Garcia-Alfaro, Joaquin; Longo, Francesco; Perez, Gregorio Martinez