Modelling and Certifying Safety for Cyber-Physical Systems: An Educational Experiment | IEEE Conference Publication | IEEE Xplore