Quality assurence for software important to saftey (Technical Reports Series, 2000)