publicações selecionadas artigo de conferência Pattern-based analysis of automated production systems. IFAC proceedings volumes. 2009