Pošalji tekstualnu poruku: Concurrency and Refinement in the Unified Modeling Language