Model checking in planning resource-sharing based manufacturingOtto, Tauno; Vain, Jüri12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering2006 / p. 535-540https://www.sciencedirect.com/science/article/pii/S1474667015359991