Simulation through explicit state description and its application to semiconductor fab operation | Publicación