publicações Improving the Accuracy of Probabilistic Behaviour Models using State Refinement Documento