Describir: Automatické generovanie testovacích scenárov pre systémy núdzového odstavenia výroby