A Framework for the Generation of Guaranteed Stable Small-Signal Bias-Dependent Behavioral Models