Generating VHDL Code from LOTOS Descriptions | Publicación