MLAV. Object Oriented Methodology for the Analysis and Modelling of the Control Logic of Discrete Event Systems | Publicación