发送短信 : Non-deterministic modelling and simulation of physical vapour coating process /