A Model Railway based Demonstrator for Saftey-Critical Systems | IEEE Conference Publication | IEEE Xplore