Introduction to the Special Section on Critical Systems Modelling and Security (Third Edition). (October 2018) - Garcia-Alfaro, Joaquin; Perez, Gregorio Martinez