Find the value(s) of $y$ for which the following pair of equations \[x^2+y^2-16=0 \text{ and } x^2-3y+12=0\] may have a real common solution. Please provide the sum of all such $y$ values.

Let's think step by step and output the final answer within \boxed{}.
user