Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software | IEEE Conference Publication | IEEE Xplore