Building a Rule-Based Goal-Model from the IEC 62304 Standard for Medical Device Software