Zaslat SMS: Proceedings of the 6th International Workshop MoDeVVa : model-driven engineering, verification and validation : 5th October 2009, Denver, Colorado, USA / editors, Levi Lúcio, Stephan Weissleder. [electronic resource] :