by Bernhard Steffen, E.-R Olderog
Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it i…