Introduction to the Special Section on Critical Systems Modelling and Security. (April 2017) - Garcia-Alfaro, Joaquin; Perez, Gregorio Martinez