In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal descriptions of traces of crime-related events can be formalised. Furthermore, it is shown how these formalised traces and behavioural properties can be used in automated analysis, for example in order to determine which type of criminal can have committed such a crime. Moreover, an underlying dynamical model is presented that shows causal mechanisms behind each of the behaviours, and their dependencies on the characteristics of the type of criminal and inputs in terms of stimuli from the environment.