Real-Time Software Design for Safety- and Mission-Critical Systems with High Dependability | IEEE Conference Publication | IEEE Xplore