Affiliation: | 1.CEA, LIST,Laboratory of Model-driven Engineering for Embedded Systems,Gif sur Yvette,France;2.Department of Computer Science,The University of Auckland,Auckland,New Zealand;3.School of Engineering and Computer Science,Victoria University of Wellington,Wellington,New Zealand |