P. I. Diallo, “Model-Based Engineering for the support of Models of Computation: The Cometa Approach”, ECEASST, vol. 50, Feb. 2013.