Well-Posed Device Models for Electrical Circuit Simulation