@inproceedings{inproceedingsc06943fd,
title   = {Formal comprehensiveness and uniformity and semantic intra and intermodel consistency in the representation of discrete event dynamic system models},
author = {Arata, Wilson Munemassa and Miyagi, Paulo Eigi},
year = {2005},
publisher = {ABCM},
booktitle   = {International Congress of Mechanical Engineering}
}