CCS and time : a practical and comprehensible approach to a performance evaluation of finite state CCS descriptions