Visao - static analyzer for industrial applications