Model-based airport security analysis in case of blackouts or cyber-attacks | IEEE Conference Publication | IEEE Xplore