Get real: Real Time Software Design for Safety-and Mission-Critical Systems with High Dependability | IEEE Journals & Magazine | IEEE Xplore