AUTOMATION OF NUMERICAL ANALYSIS OF CIRCUITS WITH JOSEPHSON TUNNEL JUNCTIONS