SMS versenden: Virtualizácia pomocou modelovacieho jazyka Yang