Reducing development costs in industrial safety projects with CESAR | IEEE Conference Publication | IEEE Xplore