Handbook of circuit analysis languages and techniques