The usage of stochastic processes in embedded system specifications