G. Karsai and G. Taentzer, “Preface to GraMoT 2006 Workshop Proceedings”, ECEASST, vol. 4, Dec. 2006.