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 0ICSOFT, 5-16, 2014 , Vienna, Austria