Decidability of model checking multi-agent systems against a class of EHS specifications - Lomuscio, AR; Michaliszyn, J (IOS Press, 2014)