Verification and Simulation of Time-Domain Properties for Models of Behaviour | Publicación