Experiences assessing high integrity software | IET Conference Publication | IEEE Xplore