OnTime: a high level real time language environment based on a portable operating system featuring feasible and fault tolerant scheduling | IET Conference Publication | IEEE Xplore