H. Cichos, and T. Heinze. Proceedings of the 7th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2010), volume 6627 of IEEE Computer Society Press, page 244–258. IEEE Computer Society Press, (2011)
H. Cichos, and T. Heinze. Proceedings of the 7th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 10), page 37–42. Los Alamitos, IEEE Computer Society Press, (2011)