Software development for real-time safety-critical applications | IEEE Conference Publication | IEEE Xplore