Functional Requirements Under Security PresSuRE Topics: Context Analysis; Model Analysis and Checking; Model Tools; Modeling Languages In Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, 5-16, 2014, Vienna, Austria