Model of Intention for the model specification verification during the simulation architecture design process | IEEE Conference Publication | IEEE Xplore