Modelling CTMC with a standard programming language and using conventions from computer networking