This document summarizes the research results obtained by the Advance partners during the first 12 months of the project, related to developing methods and tools for analyzing systems modeled by extended automata. The results are grouped into different categories.