Modelling and Certifying Safety for Cyber-Physical Systems: An Educational Experiment | Publicación