Formal methods in manufacturing systems hardcover