Asynchronous programming with futures in C on a safety-critical platform in the railway-control domain | IEEE Conference Publication | IEEE Xplore