Time-utility scheduling and provably correct critical computer-based systems | IEEE Conference Publication | IEEE Xplore