Title: Safety of Computer Control Systems