Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models