Zaslat SMS: Controllability analysis of industrial processes :