Pošalji tekstualnu poruku: Modeling and verification using UML statecharts