Application of Metamorphic Testing to Mixed Signal Systems with Behavioral Models