Text this: Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime