Validation of Platform Specific Models against Platform Independent Models in the Context of Standard Specifications: A Model Driven Architecture Approach. - Juan Pablo Zamora Zapata; Francis Bordeleau; Jean-Pierre Corriveau (Software Engineering Research and Practice, 2004)