Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems | Publicación