Formalised specification of a test tool for safety related communication | IEEE Conference Publication | IEEE Xplore