Automating operating procedure synthesis for batch processes · Study