Computers are used more and more to provide high-quality and reliable
products and services, and to control and optimise production processes.
Such computers are often embedded into the products and thus hidden to
the human user. Examples are computer-controlled washing machines or
gas burners, electronic control units in cars needed for operating airbags
and braking systems, signalling systems for high-speed trains, or robots and
automatic transport vehicles in industrial production lines
1