A tool for statistical analysis of hard real-time scheduling algorithms | IEEE Conference Publication | IEEE Xplore