Model Transformation for Requirements Verification in Embedded Systems

Rachid Boudour and Mohamed T. Kimour

Asian Journal of Information Technology 4 ( 11 ): 1012 - 1019 , 2005