Model Synthesis from Imprecise Specifications Topics: Modeling of Distributed Systems In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 20-25, 2004 , Porto, Portugal