Observations in Use of a Tunnel Junction Model in Simulations of Josephson Digital Circuits | IEEE Journals & Magazine | IEEE Xplore