Effective Models of Superconducting Quantum Interference Devices