The group deals with new methodologies, techniques, languages and tools, which enable a correct, complete and formal specification of these systems, in order to facilitate the analysis and construction of reliable systems regardless of their complexity.