@INPROCEEDINGS{cms2005,
author = {Riadh Ben Halima and Mohamed Jmaiel and Khalil Drira},
title = {A Simulation Based Process for the Construction of Correct
Models},
booktitle = {Proceedings of the International Conference on
Conceptual Modeling and Simulation (CMS2005)},
year = {2005},
address = {Marseilles, France},
month = {October},
days = {20-22},
}