Computer systems permeate our daily life. In addition to conventional desktop computing and Internet applications, sophisticated software systems can be found in almost all technical devices, from ...