Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation. - Edyta Brzychczy; Marcin Szpyrka; Jacek Korski; Grzegorz J. Nalepa (IEEE Access, 2023)