The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment | IEEE Conference Publication | IEEE Xplore