Automation of the safety analysis of batch processes based on multi-modeling approach · Study